Theorem Behrend.exp_neg_two_mul_le

Modification history