refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3)#67

hyperpolymath merged 2 commits into

mainhyperpolymath/absolute-zero:mainfrom

proof-debt/dedupe-physics-constantshyperpolymath/absolute-zero:proof-debt/dedupe-physics-constantsCopy head branch name to clipboard