mix theoria.theorems (theoria v0.4.0)

Copy Markdown View Source

Checks Theoria theorem modules against the standard prelude.