Theorem Finset.empty_val

Modification history