Open boisgera opened 4 years ago
au moins en exo : stabilité par union arbitraire, par intersection fini, relation ou fermés
au moins en exo : stabilité par union arbitraire, par intersection fini, relation ou fermés