mathlib
3a0eb4b5 - chore(logic/relation): Dot notation on `well_founded.trans_gen` (#14016)

Commit

3 years ago

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

Author

vihdzp

vihdzp

Parents

Files2

src
- logic
  - relation.lean
- set_theory/game
  - pgame.lean