Theorem ultrafilter_extend_pure

Modification history