OAI/NumberTheory/Catalan/FiniteMatrices/
8093 declarations, 0 contain sorry, 0 declared as axioms; 189 files
Files
- FixedCanonicalModularForm.lean 1 declarations
- FixedDeterminantGoodPrimes.lean 14 declarations
- FixedDeterminantsNonzero.lean 52 declarations
- FixedGaussianManuscriptTrace.lean 7 declarations
- FixedGaussianMinusStep0.lean 54 declarations
- FixedGaussianMinusStep1.lean 52 declarations
- FixedGaussianMinusStep10.lean 52 declarations
- FixedGaussianMinusStep11.lean 52 declarations
- FixedGaussianMinusStep12.lean 52 declarations
- FixedGaussianMinusStep13.lean 52 declarations
- FixedGaussianMinusStep14.lean 52 declarations
- FixedGaussianMinusStep15.lean 52 declarations
- FixedGaussianMinusStep16.lean 52 declarations
- FixedGaussianMinusStep17.lean 52 declarations
- FixedGaussianMinusStep18.lean 52 declarations
- FixedGaussianMinusStep19.lean 52 declarations
- FixedGaussianMinusStep2.lean 52 declarations
- FixedGaussianMinusStep20.lean 52 declarations
- FixedGaussianMinusStep21.lean 52 declarations
- FixedGaussianMinusStep22.lean 52 declarations
- FixedGaussianMinusStep23.lean 52 declarations
- FixedGaussianMinusStep24.lean 52 declarations
- FixedGaussianMinusStep25.lean 52 declarations
- FixedGaussianMinusStep26.lean 52 declarations
- FixedGaussianMinusStep27.lean 52 declarations
- FixedGaussianMinusStep28.lean 52 declarations
- FixedGaussianMinusStep29.lean 52 declarations
- FixedGaussianMinusStep3.lean 52 declarations
- FixedGaussianMinusStep30.lean 52 declarations
- FixedGaussianMinusStep31.lean 52 declarations
- FixedGaussianMinusStep32.lean 52 declarations
- FixedGaussianMinusStep33.lean 52 declarations
- FixedGaussianMinusStep34.lean 52 declarations
- FixedGaussianMinusStep35.lean 52 declarations
- FixedGaussianMinusStep36.lean 52 declarations
- FixedGaussianMinusStep37.lean 52 declarations
- FixedGaussianMinusStep38.lean 52 declarations
- FixedGaussianMinusStep39.lean 52 declarations
- FixedGaussianMinusStep4.lean 52 declarations
- FixedGaussianMinusStep40.lean 52 declarations
- FixedGaussianMinusStep41.lean 52 declarations
- FixedGaussianMinusStep42.lean 52 declarations
- FixedGaussianMinusStep43.lean 52 declarations
- FixedGaussianMinusStep44.lean 52 declarations
- FixedGaussianMinusStep45.lean 52 declarations
- FixedGaussianMinusStep46.lean 52 declarations
- FixedGaussianMinusStep47.lean 52 declarations
- FixedGaussianMinusStep5.lean 52 declarations
- FixedGaussianMinusStep6.lean 52 declarations
- FixedGaussianMinusStep7.lean 52 declarations
- FixedGaussianMinusStep8.lean 52 declarations
- FixedGaussianMinusStep9.lean 52 declarations
- FixedGaussianPivots.lean 16 declarations
- FixedGaussianPlusStep0.lean 54 declarations
- FixedGaussianPlusStep1.lean 52 declarations
- FixedGaussianPlusStep10.lean 52 declarations
- FixedGaussianPlusStep11.lean 52 declarations
- FixedGaussianPlusStep12.lean 52 declarations
- FixedGaussianPlusStep13.lean 52 declarations
- FixedGaussianPlusStep14.lean 52 declarations
- FixedGaussianPlusStep15.lean 52 declarations
- FixedGaussianPlusStep16.lean 52 declarations
- FixedGaussianPlusStep17.lean 52 declarations
- FixedGaussianPlusStep18.lean 52 declarations
- FixedGaussianPlusStep19.lean 52 declarations
- FixedGaussianPlusStep2.lean 52 declarations
- FixedGaussianPlusStep20.lean 52 declarations
- FixedGaussianPlusStep21.lean 52 declarations
- FixedGaussianPlusStep22.lean 52 declarations
- FixedGaussianPlusStep23.lean 52 declarations
- FixedGaussianPlusStep24.lean 52 declarations
- FixedGaussianPlusStep25.lean 52 declarations
- FixedGaussianPlusStep26.lean 52 declarations
- FixedGaussianPlusStep27.lean 52 declarations
- FixedGaussianPlusStep28.lean 52 declarations
- FixedGaussianPlusStep29.lean 52 declarations
- FixedGaussianPlusStep3.lean 52 declarations
- FixedGaussianPlusStep30.lean 52 declarations
- FixedGaussianPlusStep31.lean 52 declarations
- FixedGaussianPlusStep32.lean 52 declarations
- FixedGaussianPlusStep33.lean 52 declarations
- FixedGaussianPlusStep34.lean 52 declarations
- FixedGaussianPlusStep35.lean 52 declarations
- FixedGaussianPlusStep36.lean 52 declarations
- FixedGaussianPlusStep37.lean 52 declarations
- FixedGaussianPlusStep38.lean 52 declarations
- FixedGaussianPlusStep39.lean 52 declarations
- FixedGaussianPlusStep4.lean 52 declarations
- FixedGaussianPlusStep40.lean 52 declarations
- FixedGaussianPlusStep41.lean 52 declarations
- FixedGaussianPlusStep42.lean 52 declarations
- FixedGaussianPlusStep43.lean 52 declarations
- FixedGaussianPlusStep44.lean 52 declarations
- FixedGaussianPlusStep45.lean 52 declarations
- FixedGaussianPlusStep46.lean 52 declarations
- FixedGaussianPlusStep47.lean 52 declarations
- FixedGaussianPlusStep5.lean 52 declarations
- FixedGaussianPlusStep6.lean 52 declarations
- FixedGaussianPlusStep7.lean 52 declarations
- FixedGaussianPlusStep8.lean 52 declarations
- FixedGaussianPlusStep9.lean 52 declarations
- FixedGaussianUnscaled.lean 10 declarations
- FixedGaussianZeroStep0.lean 54 declarations
- FixedGaussianZeroStep1.lean 52 declarations
- FixedGaussianZeroStep10.lean 52 declarations
- FixedGaussianZeroStep11.lean 52 declarations
- FixedGaussianZeroStep12.lean 52 declarations
- FixedGaussianZeroStep13.lean 52 declarations
- FixedGaussianZeroStep14.lean 52 declarations
- FixedGaussianZeroStep15.lean 52 declarations
- FixedGaussianZeroStep16.lean 52 declarations
- FixedGaussianZeroStep17.lean 52 declarations
- FixedGaussianZeroStep18.lean 52 declarations
- FixedGaussianZeroStep19.lean 52 declarations
- FixedGaussianZeroStep2.lean 52 declarations
- FixedGaussianZeroStep20.lean 52 declarations
- FixedGaussianZeroStep21.lean 52 declarations
- FixedGaussianZeroStep22.lean 52 declarations
- FixedGaussianZeroStep23.lean 52 declarations
- FixedGaussianZeroStep24.lean 52 declarations
- FixedGaussianZeroStep25.lean 52 declarations
- FixedGaussianZeroStep26.lean 52 declarations
- FixedGaussianZeroStep27.lean 52 declarations
- FixedGaussianZeroStep28.lean 52 declarations
- FixedGaussianZeroStep29.lean 52 declarations
- FixedGaussianZeroStep3.lean 52 declarations
- FixedGaussianZeroStep30.lean 52 declarations
- FixedGaussianZeroStep31.lean 52 declarations
- FixedGaussianZeroStep32.lean 52 declarations
- FixedGaussianZeroStep33.lean 52 declarations
- FixedGaussianZeroStep34.lean 52 declarations
- FixedGaussianZeroStep35.lean 52 declarations
- FixedGaussianZeroStep36.lean 52 declarations
- FixedGaussianZeroStep37.lean 52 declarations
- FixedGaussianZeroStep38.lean 52 declarations
- FixedGaussianZeroStep39.lean 52 declarations
- FixedGaussianZeroStep4.lean 52 declarations
- FixedGaussianZeroStep40.lean 52 declarations
- FixedGaussianZeroStep41.lean 52 declarations
- FixedGaussianZeroStep42.lean 52 declarations
- FixedGaussianZeroStep43.lean 52 declarations
- FixedGaussianZeroStep44.lean 52 declarations
- FixedGaussianZeroStep45.lean 52 declarations
- FixedGaussianZeroStep46.lean 52 declarations
- FixedGaussianZeroStep47.lean 52 declarations
- FixedGaussianZeroStep5.lean 52 declarations
- FixedGaussianZeroStep6.lean 52 declarations
- FixedGaussianZeroStep7.lean 52 declarations
- FixedGaussianZeroStep8.lean 52 declarations
- FixedGaussianZeroStep9.lean 52 declarations
- FixedLiteralBaseRelationsRows0To1.lean 55 declarations
- FixedLiteralBaseRelationsRows10To11.lean 4 declarations
- FixedLiteralBaseRelationsRows12To13.lean 4 declarations
- FixedLiteralBaseRelationsRows14To15.lean 4 declarations
- FixedLiteralBaseRelationsRows16To17.lean 4 declarations
- FixedLiteralBaseRelationsRows18To19.lean 4 declarations
- FixedLiteralBaseRelationsRows20To21.lean 4 declarations
- FixedLiteralBaseRelationsRows22To23.lean 4 declarations
- FixedLiteralBaseRelationsRows24To25.lean 4 declarations
- FixedLiteralBaseRelationsRows26To27.lean 4 declarations
- FixedLiteralBaseRelationsRows28To29.lean 4 declarations
- FixedLiteralBaseRelationsRows2To3.lean 4 declarations
- FixedLiteralBaseRelationsRows30To31.lean 4 declarations
- FixedModularMinusInvRows0To11.lean 12 declarations
- FixedModularMinusInvRows12To23.lean 12 declarations
- FixedModularMinusInvRows24To35.lean 12 declarations
- FixedModularMinusInvRows36To47.lean 12 declarations
- FixedModularMinusModRows0To11.lean 12 declarations
- FixedModularMinusModRows12To23.lean 12 declarations
- FixedModularMinusModRows24To35.lean 12 declarations
- FixedModularMinusProductRows40To41.lean 50 declarations
- FixedModularMinusRightInverse.lean 14 declarations
- FixedModularPlusInvRows0To11.lean 12 declarations
- FixedModularPlusInvRows12To23.lean 12 declarations
- FixedModularPlusInvRows24To35.lean 12 declarations
- FixedModularPlusInvRows36To47.lean 12 declarations
- FixedModularPlusModRows0To11.lean 12 declarations
- FixedModularPlusModRows12To23.lean 12 declarations
- FixedModularPlusModRows24To35.lean 12 declarations
- FixedModularPlusProductRows40To41.lean 50 declarations
- FixedModularPlusRightInverse.lean 14 declarations
- FixedModularZeroInvRows0To11.lean 12 declarations
- FixedModularZeroInvRows12To23.lean 12 declarations
- FixedModularZeroInvRows24To35.lean 12 declarations
- FixedModularZeroInvRows36To47.lean 12 declarations
- FixedModularZeroModRows0To11.lean 12 declarations
- FixedModularZeroModRows12To23.lean 12 declarations
- FixedModularZeroModRows24To35.lean 12 declarations
- FixedModularZeroRightInverse.lean 16 declarations