Skip to content

Rename theory attribute#2

Merged
dmarkovkin merged 1 commit intomainfrom
dmarkovkin/rename-theory-attr
Mar 25, 2025
Merged

Rename theory attribute#2
dmarkovkin merged 1 commit intomainfrom
dmarkovkin/rename-theory-attr

Commits

Commits on Mar 25, 2025