Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
iris
Repository
iris
tex
paradoxes.tex
Find file
Blame
History
Permalink
invariant paradox: use fupd notation and fix formatting
· 9e4493f9
Ralf Jung
authored
Apr 19, 2021
9e4493f9