The system can automated produce understandable proof of set theorem and related explain.
⇑ Translate the sentence above by Google ⇑
Related: understandable
Prev: The temptation is understandable.
Next: That is understandable and indeed it is right and proper.
