Theorem Ordinal.unbounded_of_unbounded_iUnion

Modification history