Theorem Finset.supIndep_empty

Modification history