refl (#5911)

Commit

5 years ago

refactor(algebra/category/Group/limits): simp -> refl (#5911) Co-authors: `lean-gptf`, Stanislas Polu

Author

Jesse Michael Han

Parents