src/HOL/Library/Quotient.thy
changeset 23315 df3a7e9ebadb
parent 22473 753123c89d72
child 23373 ead82c82da9e