search

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
232 stars 95 forks source link

feat: ext lemma for `Thunk` #842

Closed fgdorais closed 2 months ago

fgdorais commented 2 months ago

Split from #835, upstreamed from Mathlib