Def ApproximatesLinearOn.toLocalEquiv

Modification history