Theorem Set.iUnion₂_smul

Modification history