Theorem Ordinal.univLE_of_injective

Modification history