OAI/Analysis/HardSphere/Rescaling/
26 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- PhysicalRescaling.lean 18 declarations
- PhysicalUnitary.lean 8 declarations
OAI/Analysis/HardSphere/Rescaling/26 declarations, 0 contain sorry, 0 declared as axioms; 2 files