census: count a declared negative control as a control, not an axiom - #88

census: count a declared negative control as a control, not an axiom#88

hyperpolymath merged 2 commits into

mainhyperpolymath/mathesis:mainfrom

marina/trusting-hopper-sz1eizhyperpolymath/mathesis:marina/trusting-hopper-sz1eizCopy head branch name to clipboard