Commit 2023-01-30 08:00 62a7ce4f
View on Github →feat: port Algebra.BigOperators.Finsupp (#1900) Some simpNF issues & some leaky classicals caused trouble. But done now!
feat: port Algebra.BigOperators.Finsupp (#1900) Some simpNF issues & some leaky classicals caused trouble. But done now!