Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Meta.v
Find file
Blame
History
Permalink
Lemmes utiles sur lift_above, suite de la preuve de WfAx et reprise de Russell.
· 6136ee0d
Samuel Ben Hamou
authored
Jul 14, 2020
6136ee0d