src/HOL/Quotient_Examples/Lift_FSet.thy
changeset 82894 a8e47bd31965
parent 81182 fc5066122e68