Def iseqv_refl

Modification history

2023-10-19 08:30
test/rfl.lean
chore: bump dependencies (#7767)
Deleted iseqv_reflView on Github →
2022-09-30 18:23
test/rfl.lean
feat: Extend `rfl` tactic to use `refl` attribute. (#436) …
Added iseqv_reflView on Github →