Kernel accepts wrong-structure projections, allowing axiom-free proof of False

2 points | by gopiandcode 2 hours ago

No comments yet