Theorem isOpen_iff_ultrafilter'

Modification history