Theorem List.prod_toFinset

Modification history