RatRep(p,m,d) and RatRep(P,M,D) and p*D+M*d=m*D+P*d.
Proposed arity: 6. Parameters: p m d P M D. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.
Unproved contract · No Alpha or Stable authority
RatRep(p,m,d) and RatRep(P,M,D) and p*D+M*d=m*D+P*d.
Proposed arity: 6. Parameters: p m d P M D. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.