[#15066] feat: virtual one-field structures - #59
Draft
downstream-lean4[bot] wants to merge 15 commits into
Draft
Commits
Commits on Sep 8, 2026
- committed
- committed
- committed
![downstream-lean4[bot]](https://avatars.githubusercontent.com/u/7233018?v=4&size=32){kind=avatar}
Commits on Sep 9, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed