Closed jstoobysmith closed 3 months ago
The purpose of this directory is to include results from mathematics of use to high energy physics, but which aren't suitable or aren't yet in Mathlib.
The purpose of this directory is to include results from mathematics of use to high energy physics, but which aren't suitable or aren't yet in Mathlib.