Documentation

Lean 4 Proof

theorem shannon_tsallis_complementarity : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:598

Module Section

### The rho-Diversity Index

In the same file