src/HOL/Library/Quotient.thy
changeset 29847 af32126ee729
parent 29608 564ea783ace8
child 30738 0842e906300c