Claim 4.14, proof, first step — lowering an agent's times on its own set keeps that set

Initializing...

Claim 4.14, proof, first step — lowering an agent's times on its own set keeps that set · Prove2Me