Def LinearEquiv.automorphismGroup.toLinearMapMonoidHom

Modification history