Remove eta-expansion in lift_wf_term_it_impl#1185
Open
Tragicus wants to merge 1 commit intoMetaRocq:mainfrom
Open
Remove eta-expansion in lift_wf_term_it_impl#1185Tragicus wants to merge 1 commit intoMetaRocq:mainfrom
Tragicus wants to merge 1 commit intoMetaRocq:mainfrom
