mathlib3
ff2aeae9 - feat(logic/relation): trans_gen closure (#5129)

Commit

5 years ago

feat(logic/relation): trans_gen closure (#5129) Mechanical conversion of `refl_trans_gen` lemmas for just `trans_gen`.

Author

pechersky

Parents