Def FDRep.forget₂HomLinearEquiv

Modification history