Theorem Set.iUnion₂_mono

Modification history