Theorem Linarith.eq_of_eq_of_eq

Modification history