Theorem Finset.supIndep_singleton

Modification history