Commit 2024-09-26 22:18 20ec679d

View on Github →

chore(GroupTheory/DoubleCoset): remove some Subgroup.toSubmonoid (#17173) These are mistranslations. They are Subgroup.carrier in mathlib3.

Estimated changes

modified theorem Doset.disjoint_out'