Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-07 22:21 3a0eb4b5

View on Github →

chore(logic/relation): Dot notation on well_founded.trans_gen (#14016)

Estimated changes

Modified src/logic/relation.lean

deleted theorem relation.well_founded.trans_gen

added theorem well_founded.trans_gen

Modified src/set_theory/game/pgame.lean

modified theorem pgame.wf_subsequent