Theorem Finsupp.induction_linear

Modification history