Commit 2022-11-30 13:42 7bf99266
View on Github →chore(measure_theory/group/fundamental_domain: Generalise to two groups (#17766)
Generalize is_fundamental_domain.preimage_of_equiv/is_fundamental_domain.image_of_equiv to two groups.
chore(measure_theory/group/fundamental_domain: Generalise to two groups (#17766)
Generalize is_fundamental_domain.preimage_of_equiv/is_fundamental_domain.image_of_equiv to two groups.