mathlib
6d12b2e1 - feat(group_theory/complement): Top is complement to every singleton subset (#9460)

Commit

4 years ago

feat(group_theory/complement): Top is complement to every singleton subset (#9460) The top subset of G is complement to every singleton subset of G.

Author

tb65536

Parents