Namespace

Mathlib.Geometry

npa-mathlib

Packages

2

Module

63

Theorems

750

Declarations

1016

Child namespaces

3

Mathlib.Geometry.Affine Mathlib.Geometry.Metric Mathlib.Geometry.RightTriangle

Direct modules

4

Mathlib.Geometry.Affine Mathlib.Geometry.Metric Mathlib.Geometry.Pythagorean Mathlib.Geometry.RightTriangle