equalityCase

URI: https://gptkb.org/prop/equalityCase
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Bogomolov–Miyaoka–Yau_inequality ball quotient surfaces
gptkb:Loewner's_torus_inequality flat torus with hexagonal lattice