mathlib
5541b256 - refactor(group_theory/complement): Introduce abbreviation for subgroups (#10009)

Commit

4 years ago

refactor(group_theory/complement): Introduce abbreviation for subgroups (#10009) Introduces abbreviation for `is_complement (H : set G) (K : set G)`.

Author

tb65536

Parents