Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-30 08:02 6d12b2e1

View on Github →

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.

Estimated changes