OAI/GroupTheory/PolycyclicRecognition/Algebra/NilpotentMatrixProducts.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniformly vanishing products in a nilpotent matrix representation

  1. theorem OAI.PolycyclicRecognition.exists_vanishing_matrix_products_of_pointwise_nilpotent line 15