src/HOL/Library/Quotient_Set.thy
changeset 68189 6163c90694ef
parent 67399 eab6ce8368fa