Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Peano.v
Find file
Blame
History
Permalink
Quelques lemmes qui rendent les axiomes plus maniables et début de la preuve de SuccRight.
· 9ebd3ff8
Samuel Ben Hamou
authored
Jun 11, 2020
9ebd3ff8