Description: The Moore closure of a singleton is a closed set. (Contributed by Stefan O'Rear, 31-Jan-2015)
Ref | Expression | ||
---|---|---|---|
Hypothesis | mrcfval.f | |
|
Assertion | mrcsncl | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | mrcfval.f | |
|
2 | snssi | |
|
3 | 1 | mrccl | |
4 | 2 3 | sylan2 | |