Theorem Finset.supIndep_pair

Modification history