docs(formal): remove the duplicated Set Printing Width comment (9 modules)#205

hyperpolymath merged 1 commit into

mainhyperpolymath/verisimdb:mainfrom

fix/coq-comment-deduphyperpolymath/verisimdb:fix/coq-comment-dedupCopy head branch name to clipboard