Theorem HasSum.exists_hasSum_smul_of_apply_eq_zero

Modification history