Registry · Definition
II.D16
established
formalized
II.D16 — Radial-Solenoidal Split
Radial-Solenoidal Split
Book II
Part 3
Ch. 15
Dependency Graph
Depends on (1)
Lean Formalization
Module: TauLib.BookII.Topology.DimensionFour
Symbol: radial_solenoidal_check