Theorem Finset.Shatters.mono_left

Modification history