rewriting

replacing subterm in a mathematical formula with another term

Kategoriler: