[#15090] feat: erased declarations in do notation - #64
Open
downstream-lean4[bot] wants to merge 8 commits into
Open
[#15090] feat: erased declarations in do notation#64downstream-lean4[bot] wants to merge 8 commits into
erased declarations in do notation#64downstream-lean4[bot] wants to merge 8 commits into
Commits
Commits on Sep 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
![downstream-lean4[bot]](https://avatars.githubusercontent.com/u/7233018?v=4&size=32){kind=avatar}
