Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
algebra
frac.v
Find file
Blame
History
Permalink
Remove internalized properties of frac.
· 76a28786
Robbert Krebbers
authored
Aug 11, 2016
They are redundant because frac is discrete.
76a28786