Theorem Finset.supIndep_attach

Modification history