Theorem Ordinal.unbounded_of_unbounded_unionᵢ

Modification history