mathlib
a0f2c47f - feat(logic/relation): induction principles for `trans_gen` (#10331)

Commit

4 years ago

feat(logic/relation): induction principles for `trans_gen` (#10331) Corresponding induction principles already exist for `refl_trans_gen`.

Author

fpvandoorn

Parents