Theorem Set.Finite.measurableSet_sUnion

Modification history