Theorem Finset.expect_add_distrib

Modification history