Theorem WithAbs.equiv_symm_sub

Modification history