i<q and j<q and lambda is the quadratic pair (i,j,1).
Proposed arity: 4. Parameters: q i j lambda. 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
i<q and j<q and lambda is the quadratic pair (i,j,1).
Proposed arity: 4. Parameters: q i j lambda. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.