feat: generalize below and brecOn on subsingletons#12718
Open
arthur-adjedj wants to merge 7 commits intoleanprover:masterfrom
Open
feat: generalize below and brecOn on subsingletons#12718arthur-adjedj wants to merge 7 commits intoleanprover:masterfrom
below and brecOn on subsingletons#12718arthur-adjedj wants to merge 7 commits intoleanprover:masterfrom
Commits
Commits on Feb 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
