isogeny

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Sp(n,_C) adjoint group of type C_n
gptkb:Sp(2) Sp(2) ≅ USp(4)