src/HOL/Algebra/Coset.thy
changeset 30729 461ee3e49ad3
parent 30198 922f944f03b2
child 31727 2621a957d417