Theorem Fintype.expect_equiv

Modification history