Quadrea of Projective Quadrangle in Universal Hyperbolic Geometry
This repository contains Wolfram Mathematica notebooks detailing the algebraic proof of the Quadrea of the Projective Quadrangle Theorem in Universal Hyperbolic Geometry. The repository also contains an image of a Microsoft Whiteboard outlining the Quadrea of the Projective Quadrangle discovery used in the following YouTube video.