src/HOL/Algebra/Coset.thy
changeset 66787 64b47495676d
parent 65035 b46fe5138cb0
child 67091 1393c2340eec