Theorem Finset.isLowerSet_shatterer

Modification history