Add paragraph to df-exmid comment
Add paragraph to df-exmid comment

This concerns the issue of various ways to express excluded middle and
what EXMID is good for.

metamath/set.mm,metamath/set.mm,metamath/set.mm