diff options
Diffstat (limited to 'library/set/regularity.tex')
| -rw-r--r-- | library/set/regularity.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/set/regularity.tex b/library/set/regularity.tex index 440467d..907bf57 100644 --- a/library/set/regularity.tex +++ b/library/set/regularity.tex @@ -28,7 +28,7 @@ \end{proof} -% Isabelle/ZF-style foundation for case analysis +% Foundation for case analysis \begin{theorem}[Foundation]\label{foundation} Let $A$ be a set. Then $A = \emptyset$ or there exists $a\in A$ |