Theorem Ordinal.le_bmex_of_forall

Modification history