Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
interval
src
Missing
Coquelicot.v
Find file
Blame
History
Permalink
Strengthen Coquelicot's lemma about RInt_gen's extensionality.
· dc85790e
Guillaume Melquiond
authored
Oct 21, 2019
dc85790e