src/HOL/Library/Quotient.thy
changeset 11008 f7333f055ef6
parent 10681 ec76e17f73c5
child 11099 b301d1f72552