Theorem Ordinal.lt_blsub₂

Modification history