Among other abilities, it can retrieve all MML theorems proved about any particular type or operator.
Neben anderem, kann es alle MML-Theoreme, die über einen bestimmten Typ oder Operator beweisen wurden, auflisten.