Commit 2023-10-13 13:23 d6f894a0

View on Github →

chore(GroupTheory/QuotientGroup): unindent theorem (#7659) Discovered following this Zulip thread.

Estimated changes

modified theorem QuotientGroup.mk_prod