Document the sub-directories of `theories` #1550

Open

Labels

documentation 📝

Milestone

opened

What they propose and what should be loaded to be what

Sub-issues

Metadata

Assignees

No one assigned

Labels

documentation 📝

Type

No type

Projects

No projects

Milestone

1.16.0

Relationships

None yet

Development

No branches or pull requests