proof(SafeJson): DISCHARGE appendLengthInc via lengthSnoc + plusCommutative (proven#90 #107 #119)#127

hyperpolymath merged 1 commit into

mainhyperpolymath/proven:mainfrom

proof/safejson-append-length-inchyperpolymath/proven:proof/safejson-append-length-incCopy head branch name to clipboard