Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
Iris
Repository
iris
iris.v
Find file
Blame
History
Permalink
Fixed definition of erasure, proved some properties of view-shifts
· e24ee0af
Filip Sieczkowski
authored
May 29, 2014
(open, close, transitive, false), stated some other.
e24ee0af