Theorem Fintype.expect_mul_expect

Modification history