theory: give the theory shelf its admission rule (re-anchoring WO 4.1) - #79

theory: give the theory shelf its admission rule (re-anchoring WO 4.1)#79

hyperpolymath merged 1 commit into

mainhyperpolymath/mathesis:mainfrom

claude/mathesis-stage-3-reanchoring-s2qr20hyperpolymath/mathesis:claude/mathesis-stage-3-reanchoring-s2qr20Copy head branch name to clipboard