Skip to content
Success

Changes

Summary

  1. matrix decomposition for non-irreducible matrices
Changeset 8369:1837fe525708 by rene thiemann _rene.thiemann@uibk.ac.at_:
matrix decomposition for non-irreducible matrices
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)