Theorem Profinite.NobelingProof.eval_eq_πJ

Modification history