Theorem Finset.Shatters.mono_right

Modification history