Theorem Profinite.NobelingProof.Products.prop_of_isGood_of_contained

Modification history