search

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.67k stars 298 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.