fix(formal): retire the three refuted Admitted statements to Prop (D0, D0b) - #422

fix(formal): retire the three refuted Admitted statements to Prop (D0, D0b)#422

hyperpolymath merged 3 commits into

mainhyperpolymath/ephapax:mainfrom

claude/p0-retire-refuted-preservationhyperpolymath/ephapax:claude/p0-retire-refuted-preservationCopy head branch name to clipboard