is used in proofs of

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Wallis_product_for_π trigonometric identities
gptkb:Cantor's_pairing_function the existence of bijections
gptkb:Pascal's_Theorem other geometric theorems
gptkb:The_Fundamental_Theorem_of_Algebra other mathematical theorems