pith. machine review for the scientific record. sign in

IndisputableMonolith.Relativity.Calculus

IndisputableMonolith/Relativity/Calculus.lean · 6 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import IndisputableMonolith.Relativity.Calculus.Derivatives
   2
   3/-!
   4# Calculus Module Aggregator
   5-/
   6

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