Theorem Ordinal.sub_sub

Modification history