Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT002-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	star_property.p	2024-10-04 18:27	230
	monomorphism2.p	2024-10-04 18:27	226
	monomorphism1.p	2024-10-04 18:27	226
	codomain_domain2.p	2024-10-04 18:27	185
	codomain_domain1.p	2024-10-04 18:27	181
	domain_of_codomain_is_codomain.p	2024-10-04 18:27	157
	codomain_of_h_equals_domain_of_ab.p	2024-10-04 18:27	153
	codomain_of_g_equals_domain_of_ab.p	2024-10-04 18:27	153
	codomain_of_domain_is_domain.p	2024-10-04 18:27	153
	h_ab_equals_g_ab.p	2024-10-04 18:27	151
	codomain_of_a_equals_domain_of_b.p	2024-10-04 18:27	141
	codomain_composition.p	2024-10-04 18:27	140
	domain_composition.p	2024-10-04 18:27	136
	prove_h_equals_g.p	2024-10-04 18:27	108