Commit 2023-03-21 11:23 d4cca00e

View on Github →

chore: remove noncomputable in Algebra.FreeAlgebra (#3011) See the Zulip thread

Estimated changes

added def FreeAlgebra.lift