Theorem Finset.supIndep_univ_bool

Modification history