Theorem Ordinal.blsub_eq_lsub'

Modification history