Theorem WithAbs.equiv_sub

Modification history