Registry · Remark VII.R25 tau-effective not_applicable

VII.R25 — Translation as Functor

Translation preserves structure; kernel invariants translate but cultural accretions may not.

Book VII Part 5 Ch. 61

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: