Commit 2023-03-12 21:48 c24d3293
View on Github →feat: port Algebra.Star.Subalgebra (#2819) Note: Lean was continually crashing on me as I was porting this file, I believe sure to autoparams.
- depends on: #2817
feat: port Algebra.Star.Subalgebra (#2819) Note: Lean was continually crashing on me as I was porting this file, I believe sure to autoparams.