Theorem Stonean.effectiveEpiFamily_of_jointly_surjective

Modification history