P

Initializing...

Theorem 1.3 — a regular $M_{23}$-extension of $\mathbb{Q}(t)$ · Prove2Me