Theorem Ordinal.bsup_congr

Modification history