Theorem Stonean.effectiveEpi_tfae

Modification history