Theorem Ordinal.lsub_eq_blsub'

Modification history