Theorem Finset.inf_biUnion

Modification history