hasIwasawaDecomposition

5 triples
GPTKB property

Random triples
Subject Object
gptkb:SL(2,R) KAN decomposition
gptkb:SL(2,_R) KAN decomposition
gptkb:SL(2,_ℝ) yes
gptkb:SL_2(R)_(in_analytic_topology) true
gptkb:SL_2(R) true