Tag
Entries tagged monovariant.
1 entry
an invariant is a quantity or property a process cannot alter, and finding one settles what is reachable without tracing every step.
7 min
