Implement canonical κ_Π definition (N=12) with axiomatic reduction to single theorem#423
Open
Copilot wants to merge 4 commits into
Open
Implement canonical κ_Π definition (N=12) with axiomatic reduction to single theorem#423Copilot wants to merge 4 commits into
Copilot wants to merge 4 commits into
