Commit 2025-11-24 12:05 e2e5306e

View on Github →

chore(Algebra.Module.TransferInstance): move hypotheses left of colon (#32037) and use letI instead of let Drive-by clean-up from #31896.

Estimated changes

modified def Equiv.linearEquiv