Theorem Fintype.expect_bijective

Modification history