Theorem IsLocalization.mul_add_inv_left

Modification history