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

No comments yet.