4 ms·Yes, this is in the definition of theorems().by martincmartin 4y agoYes, this is in the definition of theorems().