Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Equiv2.v
Find file
Blame
History
Permalink
cleanup in Nam.valid_deriv_step
· e9679e64
Pierre Letouzey
authored
Oct 14, 2020
e9679e64