Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AltSubst.v
Find file
Blame
History
Permalink
AltSubst: proof that Alt.AlphaEq is AlphaEq
· 8e98bda2
Pierre Letouzey
authored
Jun 03, 2019
8e98bda2