Theorem Fintype.prod_prod_type_right'

Modification history