Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Peano.v
Find file
Blame
History
Permalink
lift is now lift_above
· 3cc188bf
Pierre Letouzey
authored
Jul 30, 2020
Moreover, it works both on term and formulas thanks to Class overloading
3cc188bf