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

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