equalityCase

URI: https://gptkb.org/prop/equalityCase

2 triples

GPTKB property

Subject	Object
gptkb:Bogomolov–Miyaoka–Yau_inequality	ball quotient surfaces
gptkb:Loewner's_torus_inequality	flat torus with hexagonal lattice