src/HOL/Cardinals/Wellorder_Constructions.thy
changeset 82909 e4fae2227594
parent 82248 e8c96013ea8a