Skip to content
GitLab
Explore
Sign in
Glen Mével
Iris
Repository
iris
iris
algebra
lib
frac_agree.v
Find file
Blame
History
Permalink
Strengthen frac_agree_included to equivalence
· 47a0bd1f
Hai Dang
authored
Apr 13, 2021
47a0bd1f