Theorem t2_iff_ultrafilter

Modification history