Theorem Ordinal.enumOrd_le_of_subset

Modification history