Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT015-3/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	equivalence_implies_existence2.p	2024-10-04 18:32	155
	prove_something_exists.p	2024-10-04 18:32	127
	composition_implies_domain.p	2024-10-04 18:32	180
	domain_codomain_composition2.p	2024-10-04 18:32	209
	domain_codomain_composition1.p	2024-10-04 18:32	182
	compose_codomain.p	2024-10-04 18:32	130
	existence_and_equality_implies_equivalence2.p	2024-10-04 18:32	207
	compose_domain.p	2024-10-04 18:32	126
	equivalence_implies_existence1.p	2024-10-04 18:32	165
	codomain_has_elements.p	2024-10-04 18:32	158
	domain_has_elements.p	2024-10-04 18:32	154
	equal_things_exist.p	2024-10-04 18:32	159
	indiscernibles3.p	2024-10-04 18:32	150
	associativity_of_compose.p	2024-10-04 18:32	177
	indiscernibles1.p	2024-10-04 18:32	144
	existence_and_equality_implies_equivalence1.p	2024-10-04 18:32	187
	indiscernibles2.p	2024-10-04 18:32	148
	equivalence_implies_existence3.p	2024-10-04 18:32	165
	composition_implies_codomain.p	2024-10-04 18:32	184