Theorem Finset.supIndep_univ_fin_two

Modification history