Manuscript XIII-C@1 · XIII-C.tex · section · e6556893
C2: what is defined away from collisions
C2: what is defined away from collisions · lines 753–757
The proposition does not identify with the complement of the collision diagonals.
Manuscript XIII-C@1 · XIII-C.tex · section · e6556893
C2: what is defined away from collisions · lines 753–757
The proposition does not identify with the complement of the collision diagonals.