Skip to content

refactor: split registerParametricAttribute into extension creation and registration#14344

Open
wkrozowski wants to merge 2 commits into
leanprover:masterfrom
wkrozowski:wojciech/splitParametricAttribute
Open

refactor: split registerParametricAttribute into extension creation and registration#14344
wkrozowski wants to merge 2 commits into
leanprover:masterfrom
wkrozowski:wojciech/splitParametricAttribute

Commits

Commits on Jul 24, 2026