taddeus/trs

نویسنده	SHA1 پیام	تاریخ
Taddeus Kroes	b4b5542d2d Extended equation multiplication rule to apply for a negated left side.	14 سال پیش
Taddeus Kroes	f5a7c1cda5 Added rules to divide/multiply both sides of an equation with a constant.	14 سال پیش
Taddeus Kroes	694854ae90 Shortened rule name.	14 سال پیش
Taddeus Kroes	17862fb994 Added rule for subtracting addition terms from both sides of an equation.	14 سال پیش