Diff — Axiom schema of replacement

Revision #2701 → #4242 · back to history

No annotation changes between these revisions.