Theorem Set.Finite.bddAbove_biUnion

Modification history