Skip to content
GitLab
Explore
Sign in
Glen Mével
Iris
Repository
iris
iris
algebra
lib
dfrac_agree.v
Find file
Blame
History
Permalink
rename the new dfrac_agree update lemmas for consistency
· 2e07f003
Ralf Jung
authored
Dec 17, 2021
2e07f003