apg_morphism inr

apg_typeside t
apg_instance G2 : s2
apg_instance G1 : s1
----------------------------------
apg_morphism (inr G1 G2) : G2 -> <G1 + G2>
	
Second injection morphism in the category of APGs.

Appears in:

APG

Options:

always_reload
num_threads
talg_reduction
timeout