Def LinearEquiv.conjRingEquiv

Modification history