chore: fix lift_fun
-> liftFun
in lemma names (#4873)
#3109
The logs for this run have expired and are no longer available.
Loading
lift_fun
-> liftFun
in lemma names (#4873)
#3109