Def add_equiv.additive_multiplicative

Modification history