Namespace

Mathlib.Geometry

npa-mathlib

Packages

2

Module

63

Theorem

750

Declarations

1016

子 namespace

3

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

直下の module

4

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