Commit 2024-07-26 14:49 885c8b79

View on Github →

chore(Algebra/Module/Equiv): clean and golf (#15151)

Estimated changes

modified def LinearEquiv.toEquiv