OAI/NumberTheory/Catalan/Determinants/
2906 declarations, 0 contain sorry, 0 declared as axioms; 246 files
Files
- FixedCanonicalBaseModRow0.lean 1 declarations
- FixedCanonicalBaseModRow1.lean 1 declarations
- FixedCanonicalBaseModRow10.lean 1 declarations
- FixedCanonicalBaseModRow11.lean 1 declarations
- FixedCanonicalBaseModRow12.lean 1 declarations
- FixedCanonicalBaseModRow13.lean 1 declarations
- FixedCanonicalBaseModRow14.lean 1 declarations
- FixedCanonicalBaseModRow15.lean 1 declarations
- FixedCanonicalBaseModRow16.lean 1 declarations
- FixedCanonicalBaseModRow17.lean 1 declarations
- FixedCanonicalBaseModRow18.lean 1 declarations
- FixedCanonicalBaseModRow19.lean 1 declarations
- FixedCanonicalBaseModRow2.lean 1 declarations
- FixedCanonicalBaseModRow20.lean 1 declarations
- FixedCanonicalBaseModRow21.lean 1 declarations
- FixedCanonicalBaseModRow22.lean 1 declarations
- FixedCanonicalBaseModRow23.lean 1 declarations
- FixedCanonicalBaseModRow24.lean 1 declarations
- FixedCanonicalBaseModRow25.lean 1 declarations
- FixedCanonicalBaseModRow26.lean 1 declarations
- FixedCanonicalBaseModRow27.lean 1 declarations
- FixedCanonicalBaseModRow28.lean 1 declarations
- FixedCanonicalBaseModRow29.lean 1 declarations
- FixedCanonicalBaseModRow3.lean 1 declarations
- FixedCanonicalBaseModRow30.lean 1 declarations
- FixedCanonicalBaseModRow31.lean 1 declarations
- FixedCanonicalBaseModRow32.lean 1 declarations
- FixedCanonicalBaseModRow33.lean 1 declarations
- FixedCanonicalBaseModRow34.lean 1 declarations
- FixedCanonicalBaseModRow35.lean 1 declarations
- FixedCanonicalBaseModRow36.lean 1 declarations
- FixedCanonicalBaseModRow37.lean 1 declarations
- FixedCanonicalBaseModRow38.lean 1 declarations
- FixedCanonicalBaseModRow39.lean 1 declarations
- FixedCanonicalBaseModRow4.lean 1 declarations
- FixedCanonicalBaseModRow40.lean 1 declarations
- FixedCanonicalBaseModRow41.lean 1 declarations
- FixedCanonicalBaseModRow42.lean 1 declarations
- FixedCanonicalBaseModRow43.lean 1 declarations
- FixedCanonicalBaseModRow44.lean 1 declarations
- FixedCanonicalBaseModRow45.lean 1 declarations
- FixedCanonicalBaseModRow46.lean 1 declarations
- FixedCanonicalBaseModRow47.lean 1 declarations
- FixedCanonicalBaseModRow48.lean 1 declarations
- FixedCanonicalBaseModRow5.lean 1 declarations
- FixedCanonicalBaseModRow6.lean 1 declarations
- FixedCanonicalBaseModRow7.lean 1 declarations
- FixedCanonicalBaseModRow8.lean 1 declarations
- FixedCanonicalBaseModRow9.lean 1 declarations
- FixedClearedColumnsAll.lean 14 declarations
- FixedClearedMomentColumn0.lean 2 declarations
- FixedClearedMomentColumn1.lean 2 declarations
- FixedClearedMomentColumn10.lean 2 declarations
- FixedClearedMomentColumn11.lean 2 declarations
- FixedClearedMomentColumn12.lean 2 declarations
- FixedClearedMomentColumn13.lean 2 declarations
- FixedClearedMomentColumn14.lean 2 declarations
- FixedClearedMomentColumn15.lean 2 declarations
- FixedClearedMomentColumn16.lean 2 declarations
- FixedClearedMomentColumn17.lean 2 declarations
- FixedClearedMomentColumn18.lean 2 declarations
- FixedClearedMomentColumn19.lean 2 declarations
- FixedClearedMomentColumn2.lean 2 declarations
- FixedClearedMomentColumn20.lean 2 declarations
- FixedClearedMomentColumn21.lean 2 declarations
- FixedClearedMomentColumn22.lean 2 declarations
- FixedClearedMomentColumn23.lean 2 declarations
- FixedClearedMomentColumn24.lean 2 declarations
- FixedClearedMomentColumn25.lean 2 declarations
- FixedClearedMomentColumn26.lean 2 declarations
- FixedClearedMomentColumn27.lean 2 declarations
- FixedClearedMomentColumn28.lean 2 declarations
- FixedClearedMomentColumn29.lean 2 declarations
- FixedClearedMomentColumn3.lean 2 declarations
- FixedClearedMomentColumn30.lean 2 declarations
- FixedClearedMomentColumn31.lean 2 declarations
- FixedClearedMomentColumn32.lean 2 declarations
- FixedClearedMomentColumn33.lean 2 declarations
- FixedClearedMomentColumn34.lean 2 declarations
- FixedClearedMomentColumn35.lean 2 declarations
- FixedClearedMomentColumn36.lean 2 declarations
- FixedClearedMomentColumn37.lean 2 declarations
- FixedClearedMomentColumn38.lean 2 declarations
- FixedClearedMomentColumn39.lean 2 declarations
- FixedClearedMomentColumn4.lean 2 declarations
- FixedClearedMomentColumn40.lean 2 declarations
- FixedClearedMomentColumn41.lean 2 declarations
- FixedClearedMomentColumn42.lean 2 declarations
- FixedClearedMomentColumn43.lean 2 declarations
- FixedClearedMomentColumn44.lean 2 declarations
- FixedClearedMomentColumn45.lean 2 declarations
- FixedClearedMomentColumn46.lean 2 declarations
- FixedClearedMomentColumn5.lean 2 declarations
- FixedClearedMomentColumn6.lean 2 declarations
- FixedClearedMomentColumn7.lean 2 declarations
- FixedClearedMomentColumn8.lean 2 declarations
- FixedClearedMomentColumn9.lean 2 declarations
- FixedClearedZetaColumn0.lean 2 declarations
- FixedClearedZetaColumn1.lean 2 declarations
- FixedClearedZetaColumn10.lean 2 declarations
- FixedClearedZetaColumn11.lean 2 declarations
- FixedClearedZetaColumn12.lean 2 declarations
- FixedClearedZetaColumn13.lean 2 declarations
- FixedClearedZetaColumn14.lean 2 declarations
- FixedClearedZetaColumn15.lean 2 declarations
- FixedClearedZetaColumn16.lean 2 declarations
- FixedClearedZetaColumn17.lean 2 declarations
- FixedClearedZetaColumn18.lean 2 declarations
- FixedClearedZetaColumn19.lean 2 declarations
- FixedClearedZetaColumn2.lean 2 declarations
- FixedClearedZetaColumn20.lean 2 declarations
- FixedClearedZetaColumn21.lean 2 declarations
- FixedClearedZetaColumn22.lean 2 declarations
- FixedClearedZetaColumn23.lean 2 declarations
- FixedClearedZetaColumn24.lean 2 declarations
- FixedClearedZetaColumn25.lean 2 declarations
- FixedClearedZetaColumn26.lean 2 declarations
- FixedClearedZetaColumn27.lean 2 declarations
- FixedClearedZetaColumn28.lean 2 declarations
- FixedClearedZetaColumn29.lean 2 declarations
- FixedClearedZetaColumn3.lean 2 declarations
- FixedClearedZetaColumn30.lean 2 declarations
- FixedClearedZetaColumn31.lean 2 declarations
- FixedClearedZetaColumn32.lean 2 declarations
- FixedClearedZetaColumn33.lean 2 declarations
- FixedClearedZetaColumn34.lean 2 declarations
- FixedClearedZetaColumn35.lean 2 declarations
- FixedClearedZetaColumn36.lean 2 declarations
- FixedClearedZetaColumn37.lean 2 declarations
- FixedClearedZetaColumn38.lean 2 declarations
- FixedClearedZetaColumn39.lean 2 declarations
- FixedClearedZetaColumn4.lean 2 declarations
- FixedClearedZetaColumn40.lean 2 declarations
- FixedClearedZetaColumn41.lean 2 declarations
- FixedClearedZetaColumn42.lean 2 declarations
- FixedClearedZetaColumn43.lean 2 declarations
- FixedClearedZetaColumn44.lean 2 declarations
- FixedClearedZetaColumn45.lean 2 declarations
- FixedClearedZetaColumn46.lean 2 declarations
- FixedCompactRow0.lean 14 declarations
- FixedCompactRow1.lean 14 declarations
- FixedCompactRow10.lean 14 declarations
- FixedCompactRow11.lean 14 declarations
- FixedCompactRow12.lean 14 declarations
- FixedCompactRow13.lean 14 declarations
- FixedCompactRow14.lean 14 declarations
- FixedCompactRow15.lean 14 declarations
- FixedCompactRow16.lean 14 declarations
- FixedCompactRow17.lean 14 declarations
- FixedCompactRow18.lean 14 declarations
- FixedCompactRow2.lean 14 declarations
- FixedCompactRow21.lean 14 declarations
- FixedCompactRow22.lean 14 declarations
- FixedCompactRow23.lean 14 declarations
- FixedCompactRow24.lean 14 declarations
- FixedCompactRow25.lean 14 declarations
- FixedCompactRow26.lean 14 declarations
- FixedCompactRow27.lean 14 declarations
- FixedCompactRow28.lean 14 declarations
- FixedCompactRow29.lean 14 declarations
- FixedCompactRow3.lean 14 declarations
- FixedCompactRow30.lean 14 declarations
- FixedCompactRow31.lean 14 declarations
- FixedCompactRow32.lean 14 declarations
- FixedCompactRow33.lean 14 declarations
- FixedCompactRow34.lean 14 declarations
- FixedCompactRow35.lean 14 declarations
- FixedCompactRow36.lean 14 declarations
- FixedCompactRow37.lean 14 declarations
- FixedCompactRow38.lean 14 declarations
- FixedCompactRow39.lean 14 declarations
- FixedCompactRow40.lean 14 declarations
- FixedCompactRow41.lean 14 declarations
- FixedCompactRow42.lean 14 declarations
- FixedCompactRow43.lean 14 declarations
- FixedCompactRow44.lean 14 declarations
- FixedCompactRow45.lean 14 declarations
- FixedCompactRow46.lean 14 declarations
- FixedCompactRow47.lean 14 declarations
- FixedCompactRow48.lean 14 declarations
- FixedCompactRow5.lean 14 declarations
- FixedCompactRow6.lean 14 declarations
- FixedCompactRow7.lean 14 declarations
- FixedCompactRow8.lean 14 declarations
- FixedCompactRow9.lean 14 declarations
- FixedCompactRowsAll.lean 40 declarations
- ManuscriptNormLogPRow00.lean 1 declarations
- ManuscriptNormLogPRow01.lean 1 declarations
- ManuscriptNormLogPRow02.lean 1 declarations
- ManuscriptNormLogPRow03.lean 1 declarations
- ManuscriptNormLogPRow04.lean 1 declarations
- ManuscriptNormLogPRow05.lean 1 declarations
- ManuscriptNormLogPRow06.lean 1 declarations
- ManuscriptNormLogPRow07.lean 1 declarations
- ManuscriptNormLogPRow08.lean 1 declarations
- ManuscriptNormLogPRow09.lean 1 declarations
- ManuscriptNormLogVRow00.lean 1 declarations
- ManuscriptNormLogVRow01.lean 1 declarations
- ManuscriptNormLogVRow02.lean 1 declarations
- ManuscriptNormLogVRow03.lean 1 declarations
- ManuscriptNormLogVRow04.lean 1 declarations
- ManuscriptNormLogVRow05.lean 1 declarations
- ManuscriptNormLogVRow06.lean 1 declarations
- ManuscriptNormLogVRow07.lean 1 declarations
- ManuscriptNormLogVRow08.lean 1 declarations
- ManuscriptNormLogVRow09.lean 1 declarations
- ManuscriptNormLogVRow10.lean 1 declarations
- ManuscriptNormLogVRow11.lean 1 declarations
- ManuscriptNormLogVRow12.lean 1 declarations
- ManuscriptNormRoundingPRow00.lean 65 declarations
- ManuscriptNormRoundingPRow01.lean 65 declarations
- ManuscriptNormRoundingPRow02.lean 65 declarations
- ManuscriptNormRoundingPRow03.lean 65 declarations
- ManuscriptNormRoundingPRow04.lean 65 declarations
- ManuscriptNormRoundingPRow05.lean 65 declarations
- ManuscriptNormRoundingPRow06.lean 65 declarations
- ManuscriptNormRoundingPRow07.lean 65 declarations
- ManuscriptNormRoundingPRow08.lean 65 declarations
- ManuscriptNormRoundingPRow09.lean 65 declarations
- ManuscriptNormRoundingVRow00.lean 83 declarations
- ManuscriptNormRoundingVRow01.lean 83 declarations
- ManuscriptNormRoundingVRow02.lean 83 declarations
- ManuscriptNormRoundingVRow03.lean 83 declarations
- ManuscriptNormRoundingVRow04.lean 83 declarations
- ManuscriptNormRoundingVRow05.lean 83 declarations
- ManuscriptNormRoundingVRow06.lean 83 declarations
- ManuscriptNormRoundingVRow07.lean 83 declarations
- ManuscriptNormRoundingVRow08.lean 83 declarations
- ManuscriptNormRoundingVRow09.lean 83 declarations
- ManuscriptNormRoundingVRow10.lean 83 declarations
- ManuscriptNormRoundingVRow11.lean 83 declarations
- ManuscriptNormRoundingVRow12.lean 83 declarations
- OddLowerMinorTransfer.lean 20 declarations
- OddPhysicalMinorCounts.lean 25 declarations
- PalindromicExtractedMatrix.lean 4 declarations
- PalindromicOriginalDeterminantFactorization.lean 7 declarations
- PalindromicResidueDeterminant.lean 9 declarations
- PalindromicRowFrobenius.lean 12 declarations
- RawMinorCoefficientExpansion.lean 11 declarations
- RawMinorCoefficientNorm.lean 7 declarations
- RealCauchyDeterminant.lean 6 declarations
- RealColumnDeterminant.lean 57 declarations
- RealDeterminantUpper.lean 24 declarations
- RealRowAmplitude.lean 6 declarations
- RowMomentExpansion.lean 6 declarations
- TwoAdicSmoothedMinor.lean 35 declarations