Theorem Equiv.coe_piCongr'

Modification history