Theorem WithZero.logEquiv_symm

Modification history