search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
263 stars 58 forks source link

SmallMagmas.lean: native_decide -> decide #836

Closed Timeroot closed 2 weeks ago

Timeroot commented 2 weeks ago

The issue was with my instance, not Mathlib's. mea culpa.