Theorem Ordinal.cof_eq_infₛ_lsub

Modification history