Theorem Finset.iInf_biUnion

Modification history