Theorem Set.mem_fintype_prod

Modification history