Mathlib Changelog
v4
Changelog
About
Github
Theorem
Subgroup.IsComplement.finite_right_iff
Modification history
2025-01-03 11:02
Mathlib/GroupTheory/Complement.lean
chore: turn left and right transversals from sets to types (#20041) …
Added
Subgroup.IsComplement.finite_right_iff
View on Github →