mix theoria.equations (theoria v0.5.0)

Copy Markdown View Source

Lists generated equation lemmas for definitions with stored equation metadata.