Skip to content

doc: remove unneeded schema variable for axiom K reduction rule - #901

Merged
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:axk
Jul 27, 2026
Merged

doc: remove unneeded schema variable for axiom K reduction rule#901
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:axk

doc: remove unneeded schema variable for axiom K reduction rule

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