Theorem Function.star_sumElim

Modification history