Theorem WithZero.logEquiv_apply

Modification history