Def Function.Surjective.distribSmulLeft

Modification history