apg_morphism apg_morphism_identity

apg_typeside t
apg_instance G : s
----------------------------------
apg_morphism (identity G) : G -> G
	
Identity morphism in the category of APGs.

Appears in:

APG

Options:

always_reload
num_threads
talg_reduction
timeout