WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Prisoner's dilemma

Revision #2240 → #2630 · back to history

modifiedTransition matrix M6153930d34a6
FieldFrom #2240To #2630
mathlib.declMatrix.IsStochasticMatrix.rowStochastic
provenanceaiai-moderated