quotient by

URI: https://gptkb.org/prop/quotient_by
2 triples
GPTKB property
Random triples
Subject Object
gptkb:real_projective_space_RP^3 antipodal map
gptkb:Lagrangian_Grassmannian gptkb:unitary_group_U(n)