Group all operations on subterms in a single module, simplify on_branches#21681
Open
yannl35133 wants to merge 2 commits intorocq-prover:masterfrom
Open
Group all operations on subterms in a single module, simplify on_branches#21681yannl35133 wants to merge 2 commits intorocq-prover:masterfrom
yannl35133 wants to merge 2 commits intorocq-prover:masterfrom
Commits
Commits on Mar 9, 2026
Commits on Mar 10, 2026
- committed