Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT020-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	category_theory_axiom5.p	2024-10-04 18:34	237
	identity1.p	2024-10-04 18:34	160
	mapping_from_x_to_its_domain.p	2024-10-04 18:34	136
	associative_property2.p	2024-10-04 18:34	188
	category_theory_axiom1.p	2024-10-04 18:34	219
	identity2.p	2024-10-04 18:34	160
	associative_property1.p	2024-10-04 18:34	160
	domain_is_an_identity_map.p	2024-10-04 18:34	136
	category_theory_axiom6.p	2024-10-04 18:34	196
	category_theory_axiom4.p	2024-10-04 18:34	219
	product_on_domain.p	2024-10-04 18:34	127
	composition_is_well_defined.p	2024-10-04 18:34	186
	product_on_codomain.p	2024-10-04 18:34	131
	mapping_from_codomain_of_x_to_x.p	2024-10-04 18:34	141
	category_theory_axiom2.p	2024-10-04 18:34	237
	closure_of_composition.p	2024-10-04 18:34	164
	category_theory_axiom3.p	2024-10-04 18:34	189
	codomain_is_an_identity_map.p	2024-10-04 18:34	140