src/HOL/Library/Quotient_Set.thy
changeset 54230 b1d955791529
parent 53012 cb82606b8215
child 55940 7339ef350739