Corpus
Corpus · Registry · Lemma VI.L18 tau-effective formalized

VI.L18 — Kinetic Pseudoscalar Channel

Kinetic Pseudoscalar Channel is a public Book VI Registry lemma with a TauLib formalization in the LifeCore parity bridge.

Registry Book VI Part 2 Ch. 16 Lean ✓

Corpus Position

This object is part of the versioned public corpus. Read it together with the type grammar, the corpus reading guide, and the versioning model.

Lean Formalization

Module: TauLib.BookVI.LifeCore.ParityBridge

Symbol: Tau.BookVI.ParityBridge.kinetic_pseudoscalar_channel

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert