Correction map_constr_with_binders and renaming to map_term_with_context#1208
Open
DeLectionnes wants to merge 1 commit intoMetaRocq:9.1from
Open
Correction map_constr_with_binders and renaming to map_term_with_context#1208DeLectionnes wants to merge 1 commit intoMetaRocq:9.1from
DeLectionnes wants to merge 1 commit intoMetaRocq:9.1from
Commits
Commits on Nov 17, 2025
- committed
Basile