existence theorem

theorem which asserts the existence of an object

Categories: