Theorem Ordinal.lt_blsub

Modification history