Registry · Remark II.R12 established formalized

II.R12 — Probe Naturality Equals Holomorphy

Probe Naturality Equals Holomorphy

Book II Part 7 Ch. 40

Dependency Graph

Depends on (4)

I.T40 I.T41 II.D50 II.T32

Depended on by (2)

II.L11 II.L14

Lean Formalization

Module: TauLib.BookII.Regularity.PreYoneda

Symbol: probe_naturality_check