Comment Comment by tptacek How does that work in this case? What do those proofs do to help find this counterexample? parent tptacek 3 months ago
