Comment Comment by lairv So until now every proofs of this theorem were still computer-assisted right ? parent lairv 3 years ago
