Theorem Foo.le_refl

Modification history

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