1. I : fset(ℕ)
⊢ ¬(0 = 1 ∈ Point(free-DeMorgan-algebra(names(I);NamesDeq)))
{ (RWO "free-dma-point" 0 THENA Auto) }
1. I : fset(ℕ)
⊢ ¬(0 = 1 ∈ Point(free-DeMorgan-lattice(names(I);NamesDeq)))