Theorem Cardinal.prod_eq_of_fintype

Modification history