Theorem Associated.neg_left

Modification history