scratch
§
Decision Procedures Research Questions
created 2025-02-28
Normalization procedure for the mathlib theory of affine spaces plus their functions!
❦