search

pi-base / web

Code powering the π-Base
https://topology.pi-base.org
MIT License
5 stars 5 forks source link

DRY up trait naming #195

Open StevenClontz opened 4 days ago

StevenClontz commented 4 days ago

See #193 - we've duplicated some logic.

StevenClontz commented 4 days ago

Use the pattern at https://github.com/pi-base/web/blob/9ae41f2cd90163ff2761a31b3710cacec8b3c7fd/packages/viewer/src/models/Theorem.ts#L51