Commit 2022-09-30 18:23 fdd0ff17
View on Github →feat: Extend rfl
tactic to use refl
attribute. (#436)
This extends the rfl
tactic in Lean 4 to use refl
attribute.
feat: Extend rfl
tactic to use refl
attribute. (#436)
This extends the rfl
tactic in Lean 4 to use refl
attribute.