ProjectOverview • 85

Jor ball tangent field/K-representation
Jordan tangent 0-fields
symm tangent 0-fields
Jordan ball tangent fields