src/HOL/Library/Quotient_List.thy
changeset 53745 788730ab7da4
parent 53012 cb82606b8215
child 55564 e81ee43ab290