Registry · Definition II.D89 established planned

II.D89 — Five Comparison Modes

Five exhaustive, mutually exclusive comparison modes (A: Same, B: Parallel, C: Refused, D: Gained, E: Earned) for classifying every tau-construction against its orthodox counterpart.

Book II Part 11 Ch. 60

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: