Commit 2023-02-20 19:17 7e974fd3

View on Github →

fix: Fix e₁ ≪≫ₗ e₂ (#2347)

Estimated changes

modified def LinearEquiv.trans