Skip to content

doc: remove duplicate tactic "have" - #894

Merged
jcreedcmu merged 1 commit into
leanprover:mainfrom
ia0:have
Jul 27, 2026
Merged

doc: remove duplicate tactic "have"#894
jcreedcmu merged 1 commit into
leanprover:mainfrom
ia0:have

doc: remove duplicate tactic "have"

6235410
Select commit
Loading
Failed to load commit list.
Sign in for the full log view