ci(coq-build): expand Print Assumptions to all four Phase D theorems#243

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

ci/coq-build-print-assumptions-expandhyperpolymath/ephapax:ci/coq-build-print-assumptions-expandCopy head branch name to clipboard