refl (#5912)

Commit

4 years ago

refactor(data/holor): simp -> refl (#5912) Co-authors: `lean-gptf`, Stanislas Polu

Author

Jesse Michael Han

Parents