OAI/Dynamics/EntropyCounterexample/SpectralRadius.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.homologyEigenvalueRadii line 10
2. theorem OAI.Problem340.abs_eigenvalue_mem_homologyEigenvalueRadii line 18
3. theorem OAI.Problem340.eigenvalue_le_totalRealHomologySpectralRadius line 28
4. theorem OAI.Problem340.bddAbove_homologyEigenvalueRadii_of_finiteDimensional line 36
5. theorem OAI.Problem340.log_two_le_log_totalRealHomologySpectralRadius line 44