Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT015-3/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	equivalence_implies_existence2.p	2024-10-04 18:32	161
	prove_something_exists.p	2024-10-04 18:32	133
	composition_implies_domain.p	2024-10-04 18:32	186
	domain_codomain_composition2.p	2024-10-04 18:32	215
	domain_codomain_composition1.p	2024-10-04 18:32	188
	compose_codomain.p	2024-10-04 18:32	136
	existence_and_equality_implies_equivalence2.p	2024-10-04 18:32	213
	compose_domain.p	2024-10-04 18:32	132
	equivalence_implies_existence1.p	2024-10-04 18:32	171
	codomain_has_elements.p	2024-10-04 18:32	164
	domain_has_elements.p	2024-10-04 18:32	160
	equal_things_exist.p	2024-10-04 18:32	165
	indiscernibles3.p	2024-10-04 18:32	156
	associativity_of_compose.p	2024-10-04 18:32	183
	indiscernibles1.p	2024-10-04 18:32	150
	existence_and_equality_implies_equivalence1.p	2024-10-04 18:32	193
	indiscernibles2.p	2024-10-04 18:32	154
	equivalence_implies_existence3.p	2024-10-04 18:32	171
	composition_implies_codomain.p	2024-10-04 18:32	190