Theorem expNegInvGlue.zero_iff_nonpos

Modification history