Theorem Finset.inf_attach

Modification history