Theorem Ordinal.bsup_comp

Modification history