A version is committed in at most one term, and committed versions increase with the term

Initializing...

A version is committed in at most one term, and committed versions increase with the term · Prove2Me