Theorem Ordinal.supᵢ_ord

Modification history