Theorem Finset.isLeast_min'

Modification history