Theorem Ordinal.lt_blsub_iff

Modification history