Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT020-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	product_on_domain.p	2024-10-04 18:34	133
	product_on_codomain.p	2024-10-04 18:34	137
	domain_is_an_identity_map.p	2024-10-04 18:34	142
	mapping_from_x_to_its_domain.p	2024-10-04 18:34	142
	codomain_is_an_identity_map.p	2024-10-04 18:34	146
	mapping_from_codomain_of_x_to_x.p	2024-10-04 18:34	147
	associative_property1.p	2024-10-04 18:34	166
	identity1.p	2024-10-04 18:34	166
	identity2.p	2024-10-04 18:34	166
	closure_of_composition.p	2024-10-04 18:34	170
	composition_is_well_defined.p	2024-10-04 18:34	192
	associative_property2.p	2024-10-04 18:34	194
	category_theory_axiom3.p	2024-10-04 18:34	195
	category_theory_axiom6.p	2024-10-04 18:34	202
	category_theory_axiom1.p	2024-10-04 18:34	225
	category_theory_axiom4.p	2024-10-04 18:34	225
	category_theory_axiom2.p	2024-10-04 18:34	243
	category_theory_axiom5.p	2024-10-04 18:34	243