`IndisputableMonolith.Relativity.Fields`

IndisputableMonolith/Relativity/Fields.lean · 9 lines · 0 declarations

Explainer status: pending

   1import IndisputableMonolith.Relativity.Fields.Scalar
   2import IndisputableMonolith.Relativity.Fields.Integration
   3
   4/-!
   5# Fields Module Aggregator
   6
   7Re-exports all field-related definitions.
   8-/
   9

source mirrored from github.com/jonwashburn/shape-of-logic