search

leanprover-community / mathlib

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.66k stars 297 forks source link

make it a def #19205

Closed riccardobrasca closed 1 year ago

riccardobrasca commented 1 year ago

Open in Gitpod

riccardobrasca commented 1 year ago

Useless.