Theorem Ordinal.sub_self

Modification history