Theorem Finsupp.single_eq_pi_single

Modification history