Theorem Equiv.sumPiEquivProdPi_symm_preimage_univ_pi

Modification history