mathlib
ee8d588d - refactor(logic/hydra): use `is_irrefl` (#15039)

Commit

3 years ago

refactor(logic/hydra): use `is_irrefl` (#15039) `is_irrefl` seems to be the more commonly used spelling

Author

vihdzp

Parents