The Agda standard library
Home Page:https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
jamesmckinna opened this issue 25 days ago · comments
Cf. #2138 / #2402 as well as #2403 / #2407 together with
Algebra.Properties.IsBand
Algebra.Solver.IdempotentCommutativeMonoid.distr