issues
search
spl
/
alpha-conversion-is-easy
Lean proof of alpha-conversion is easy
4
stars
0
forks
source link
Rename aeq.subst to aeq.subst_pres_aeq
#30
Open
spl
opened
6 years ago
spl
commented
6 years ago
And rename the properties within, too.
And rename the properties within, too.