Theorem WithAbs.equiv_symm_zero

Modification history