Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Calc
Fcalc_bracket.v
Find file
Blame
History
Permalink
Changed theorems so that they use the canonic exponent of x instead of DN(x).
· 084610db
Guillaume Melquiond
authored
Mar 05, 2010
084610db