Def FdRep.forget₂HomLinearEquiv

Modification history