Theorem Subgroup.quotientSubgroupOfEmbeddingOfLE_apply_mk

Modification history

2023-07-31 15:32
Mathlib/GroupTheory/Coset.lean
chore: tidy various files (#6174)
Added Subgroup.quotientSubgroupOfEmbeddingOfLE_apply_mkView on Github →