Theorem Finset.univ_inter

Modification history