Skip to content

test: add tests for builtin @[sym_simp] attribute

354b67f
Select commit
Loading
Failed to load commit list.
Merged

feat: add Sym.simp theorem set attributes #13018

test: add tests for builtin @[sym_simp] attribute
354b67f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar