rewriting

replacing subterm in a mathematical formula with another term

Kategori: