Theorem Finset.eq_empty_of_isEmpty

Modification history