Theorem Ordinal.type_uLift

Modification history