Додати новий тег
原不变式

_

primitive invariant
Переклад не перевірений та може містити неточності!