Registry · Definition II.D64 established formalized

II.D64 — Tau-Exterior Derivative

Tau-Exterior Derivative

Book II Part 10 Ch. 54

Dependency Graph

Depends on (2)

II.D62 II.D42

Depended on by (1)

II.D92

Lean Formalization

Module: TauLib.BookII.Closure.TauManifold

Symbol: Tau.BookII.Closure.tau_exterior_derivative