Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
algebra
frac.v
Find file
Blame
History
Permalink
make frac_included into general lemma about < and + of positive fractions
· b8dc0773
Ralf Jung
authored
Mar 10, 2017
b8dc0773