Theorem Finset.expectWith_congr

Modification history