Theorem Finset.shadow_mono

Modification history