Theorem Ordinal.blsub_eq_lsub

Modification history