mathlib3 documentation

lean-ga / geometric_algebra.from_mathlib.fold

Recursive computation rules #

Main definitions #