Theorem Finset.expect_congr

Modification history