Theorem Finset.abs_prod

Modification history