New posts in Definitions

Unitary groups over number fields

Euclidean function of Euclidean domain defined at 0

Category Theoretic Interpretation of Matroids?

What is a proper stack?

TypeScript definition files

Definitions of sqrt, sin, cos, pow etc. in cmath