OAI/Analysis/JiangSu/Traceless/
119 declarations, 0 contain sorry, 0 declared as axioms; 7 files
Files
- EmptyTraceComparisonBridge.lean 2 declarations
- TracelessCanonicalPure.lean 15 declarations
- TracelessFiniteIdentityExcision.lean 2 declarations
- TracelessFiniteScalarExcision.lean 5 declarations
- TracelessPureInfiniteness.lean 20 declarations
- TracelessSpatialCorner.lean 63 declarations
- TracelessStabilizedPure.lean 12 declarations