is proven using

URI: https://gptkb.org/prop/is_proven_using
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Zorn's_lemma Zorn's lemma proof techniques
gptkb:Littlewood's_inequality gptkb:analysis
gptkb:Banach-Alaoglu_theorem topological methods
gptkb:Pascal's_Theorem projective transformations