Theorem Ordinal.IsFundamentalSequence.ord_cof

Modification history