Theorem Profinite.NobelingProof.list_prod_apply

Modification history