Theorem Ordinal.bsup_le

Modification history