Theorem Ordinal.cof_eq'

Modification history