Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
docs
derived.tex
Find file
Blame
History
Permalink
docs: timeless rule for invariants
· 2be948e4
Ralf Jung
authored
Mar 16, 2016
2be948e4