Oystein Kristoffer Tveit f7da45a38b Make hasse nodes white		2021-05-17 19:12:57 +02:00
..
EquivalenceProof.tex	Several fixes	2021-05-17 18:39:28 +02:00
Hasse.tex	Make hasse nodes white	2021-05-17 19:12:57 +02:00
PosetProof.tex	Several fixes	2021-05-17 18:39:28 +02:00