OAI/Analysis/MutuallyUnbiased/MixedTargets/

Files

• KeyAll.lean 2 declarations
• KeyChunk0.lean 33 declarations
• KeyChunk1.lean 33 declarations
• KeyChunk10.lean 33 declarations
• KeyChunk11.lean 33 declarations
• KeyChunk12.lean 33 declarations
• KeyChunk13.lean 33 declarations
• KeyChunk14.lean 33 declarations
• KeyChunk15.lean 33 declarations
• KeyChunk16.lean 33 declarations
• KeyChunk17.lean 33 declarations
• KeyChunk18.lean 33 declarations
• KeyChunk19.lean 33 declarations
• KeyChunk2.lean 33 declarations
• KeyChunk20.lean 33 declarations
• KeyChunk21.lean 33 declarations
• KeyChunk22.lean 33 declarations
• KeyChunk23.lean 33 declarations
• KeyChunk24.lean 33 declarations
• KeyChunk25.lean 33 declarations
• KeyChunk26.lean 33 declarations
• KeyChunk27.lean 33 declarations
• KeyChunk28.lean 33 declarations
• KeyChunk29.lean 33 declarations
• KeyChunk3.lean 33 declarations
• KeyChunk30.lean 33 declarations
• KeyChunk31.lean 33 declarations
• KeyChunk32.lean 33 declarations
• KeyChunk33.lean 33 declarations
• KeyChunk34.lean 33 declarations
• KeyChunk35.lean 33 declarations
• KeyChunk36.lean 33 declarations
• KeyChunk37.lean 33 declarations
• KeyChunk38.lean 33 declarations
• KeyChunk39.lean 33 declarations
• KeyChunk4.lean 33 declarations
• KeyChunk40.lean 33 declarations
• KeyChunk41.lean 33 declarations
• KeyChunk42.lean 33 declarations
• KeyChunk43.lean 33 declarations
• KeyChunk44.lean 33 declarations
• KeyChunk45.lean 33 declarations
• KeyChunk46.lean 33 declarations
• KeyChunk47.lean 33 declarations
• KeyChunk48.lean 33 declarations
• KeyChunk49.lean 33 declarations
• KeyChunk5.lean 33 declarations
• KeyChunk50.lean 33 declarations
• KeyChunk51.lean 33 declarations
• KeyChunk52.lean 33 declarations
• KeyChunk53.lean 33 declarations
• KeyChunk54.lean 33 declarations
• KeyChunk55.lean 33 declarations
• KeyChunk56.lean 33 declarations
• KeyChunk57.lean 33 declarations
• KeyChunk58.lean 33 declarations
• KeyChunk59.lean 33 declarations
• KeyChunk6.lean 33 declarations
• KeyChunk60.lean 33 declarations
• KeyChunk61.lean 33 declarations
• KeyChunk62.lean 33 declarations
• KeyChunk63.lean 33 declarations
• KeyChunk64.lean 33 declarations
• KeyChunk65.lean 33 declarations
• KeyChunk66.lean 33 declarations
• KeyChunk67.lean 33 declarations
• KeyChunk68.lean 33 declarations
• KeyChunk69.lean 33 declarations
• KeyChunk7.lean 33 declarations
• KeyChunk70.lean 33 declarations
• KeyChunk71.lean 33 declarations
• KeyChunk72.lean 33 declarations
• KeyChunk73.lean 33 declarations
• KeyChunk74.lean 33 declarations
• KeyChunk75.lean 33 declarations
• KeyChunk76.lean 33 declarations
• KeyChunk77.lean 33 declarations
• KeyChunk78.lean 33 declarations
• KeyChunk79.lean 33 declarations
• KeyChunk8.lean 33 declarations
• KeyChunk80.lean 33 declarations
• KeyChunk81.lean 33 declarations
• KeyChunk82.lean 33 declarations
• KeyChunk83.lean 33 declarations
• KeyChunk84.lean 33 declarations
• KeyChunk85.lean 33 declarations
• KeyChunk86.lean 33 declarations
• KeyChunk87.lean 33 declarations
• KeyChunk88.lean 33 declarations
• KeyChunk89.lean 33 declarations
• KeyChunk9.lean 33 declarations
• KeyChunk90.lean 7 declarations
• KeySound0.lean 32 declarations
• KeySound1.lean 32 declarations
• KeySound10.lean 32 declarations
• KeySound11.lean 32 declarations
• KeySound12.lean 32 declarations
• KeySound13.lean 32 declarations
• KeySound14.lean 32 declarations
• KeySound15.lean 32 declarations
• KeySound16.lean 32 declarations
• KeySound17.lean 32 declarations
• KeySound18.lean 32 declarations
• KeySound19.lean 32 declarations
• KeySound2.lean 32 declarations
• KeySound20.lean 32 declarations
• KeySound21.lean 32 declarations
• KeySound22.lean 32 declarations
• KeySound23.lean 32 declarations
• KeySound24.lean 32 declarations
• KeySound25.lean 32 declarations
• KeySound26.lean 32 declarations
• KeySound27.lean 32 declarations
• KeySound28.lean 32 declarations
• KeySound29.lean 32 declarations
• KeySound3.lean 32 declarations
• KeySound30.lean 32 declarations
• KeySound31.lean 32 declarations
• KeySound32.lean 32 declarations
• KeySound33.lean 32 declarations
• KeySound34.lean 32 declarations
• KeySound35.lean 32 declarations
• KeySound36.lean 32 declarations
• KeySound37.lean 32 declarations
• KeySound38.lean 32 declarations
• KeySound39.lean 32 declarations
• KeySound4.lean 32 declarations
• KeySound40.lean 32 declarations
• KeySound41.lean 32 declarations
• KeySound42.lean 32 declarations
• KeySound43.lean 32 declarations
• KeySound44.lean 32 declarations
• KeySound45.lean 32 declarations
• KeySound46.lean 32 declarations
• KeySound47.lean 32 declarations
• KeySound48.lean 32 declarations
• KeySound49.lean 32 declarations
• KeySound5.lean 32 declarations
• KeySound50.lean 32 declarations
• KeySound51.lean 32 declarations
• KeySound52.lean 32 declarations
• KeySound53.lean 32 declarations
• KeySound54.lean 32 declarations
• KeySound55.lean 32 declarations
• KeySound56.lean 32 declarations
• KeySound57.lean 32 declarations
• KeySound58.lean 32 declarations
• KeySound59.lean 32 declarations
• KeySound6.lean 32 declarations
• KeySound60.lean 32 declarations
• KeySound61.lean 32 declarations
• KeySound62.lean 32 declarations
• KeySound63.lean 32 declarations
• KeySound64.lean 32 declarations
• KeySound65.lean 32 declarations
• KeySound66.lean 32 declarations
• KeySound67.lean 32 declarations
• KeySound68.lean 32 declarations
• KeySound69.lean 32 declarations
• KeySound7.lean 32 declarations
• KeySound70.lean 32 declarations
• KeySound71.lean 32 declarations
• KeySound72.lean 32 declarations
• KeySound73.lean 32 declarations
• KeySound74.lean 32 declarations
• KeySound75.lean 32 declarations
• KeySound76.lean 32 declarations
• KeySound77.lean 32 declarations
• KeySound78.lean 32 declarations
• KeySound79.lean 32 declarations
• KeySound8.lean 32 declarations
• KeySound80.lean 32 declarations
• KeySound81.lean 32 declarations
• KeySound82.lean 32 declarations
• KeySound83.lean 32 declarations
• KeySound84.lean 32 declarations
• KeySound85.lean 32 declarations
• KeySound86.lean 32 declarations
• KeySound87.lean 32 declarations
• KeySound88.lean 32 declarations
• KeySound89.lean 32 declarations
• KeySound9.lean 32 declarations
• KeySound90.lean 6 declarations
• KeyTable.lean 1 declarations
• Keys0.lean 33 declarations
• Keys1.lean 33 declarations
• Keys10.lean 33 declarations
• Keys11.lean 33 declarations
• Keys12.lean 33 declarations
• Keys13.lean 33 declarations
• Keys14.lean 33 declarations
• Keys15.lean 33 declarations
• Keys16.lean 33 declarations
• Keys17.lean 33 declarations
• Keys18.lean 33 declarations
• Keys19.lean 33 declarations
• Keys2.lean 33 declarations
• Keys20.lean 33 declarations
• Keys21.lean 33 declarations
• Keys22.lean 33 declarations
• Keys23.lean 33 declarations
• Keys24.lean 33 declarations
• Keys25.lean 33 declarations
• Keys26.lean 33 declarations
• Keys27.lean 33 declarations
• Keys28.lean 33 declarations
• Keys29.lean 33 declarations
• Keys3.lean 33 declarations
• Keys30.lean 33 declarations
• Keys31.lean 33 declarations
• Keys32.lean 33 declarations
• Keys33.lean 33 declarations
• Keys34.lean 33 declarations
• Keys35.lean 33 declarations
• Keys36.lean 33 declarations
• Keys37.lean 33 declarations
• Keys38.lean 33 declarations
• Keys39.lean 33 declarations
• Keys4.lean 33 declarations
• Keys40.lean 33 declarations
• Keys41.lean 33 declarations
• Keys42.lean 33 declarations
• Keys43.lean 33 declarations
• Keys44.lean 33 declarations
• Keys45.lean 33 declarations
• Keys46.lean 33 declarations
• Keys47.lean 33 declarations
• Keys48.lean 33 declarations
• Keys49.lean 33 declarations
• Keys5.lean 33 declarations
• Keys50.lean 33 declarations
• Keys51.lean 33 declarations
• Keys52.lean 33 declarations
• Keys53.lean 33 declarations
• Keys54.lean 33 declarations
• Keys55.lean 33 declarations
• Keys56.lean 33 declarations
• Keys57.lean 33 declarations
• Keys58.lean 33 declarations
• Keys59.lean 33 declarations
• Keys6.lean 33 declarations
• Keys60.lean 33 declarations
• Keys61.lean 33 declarations
• Keys62.lean 33 declarations
• Keys63.lean 33 declarations
• Keys64.lean 33 declarations
• Keys65.lean 33 declarations
• Keys66.lean 33 declarations
• Keys67.lean 33 declarations
• Keys68.lean 33 declarations
• Keys69.lean 33 declarations
• Keys7.lean 33 declarations
• Keys70.lean 33 declarations
• Keys71.lean 33 declarations
• Keys72.lean 33 declarations
• Keys73.lean 33 declarations
• Keys74.lean 33 declarations
• Keys75.lean 33 declarations
• Keys76.lean 33 declarations
• Keys77.lean 33 declarations
• Keys78.lean 33 declarations
• Keys79.lean 33 declarations
• Keys8.lean 33 declarations
• Keys80.lean 33 declarations
• Keys81.lean 33 declarations
• Keys82.lean 33 declarations
• Keys83.lean 33 declarations
• Keys84.lean 33 declarations
• Keys85.lean 33 declarations
• Keys86.lean 33 declarations
• Keys87.lean 33 declarations
• Keys88.lean 33 declarations
• Keys89.lean 33 declarations
• Keys9.lean 33 declarations
• Keys90.lean 7 declarations
• Main.lean 2 declarations
• OriginalBlock0.lean 4 declarations
• OriginalBlock1.lean 4 declarations
• OriginalBlock10.lean 4 declarations
• OriginalBlock11.lean 4 declarations
• OriginalBlock12.lean 4 declarations
• OriginalBlock13.lean 4 declarations
• OriginalBlock14.lean 4 declarations
• OriginalBlock15.lean 4 declarations
• OriginalBlock16.lean 4 declarations
• OriginalBlock17.lean 4 declarations
• OriginalBlock18.lean 4 declarations
• OriginalBlock19.lean 4 declarations
• OriginalBlock2.lean 4 declarations
• OriginalBlock20.lean 4 declarations
• OriginalBlock21.lean 4 declarations
• OriginalBlock22.lean 4 declarations
• OriginalBlock23.lean 4 declarations
• OriginalBlock24.lean 4 declarations
• OriginalBlock25.lean 4 declarations
• OriginalBlock26.lean 4 declarations
• OriginalBlock27.lean 4 declarations
• OriginalBlock28.lean 4 declarations
• OriginalBlock29.lean 4 declarations
• OriginalBlock3.lean 4 declarations
• OriginalBlock30.lean 4 declarations
• OriginalBlock31.lean 4 declarations
• OriginalBlock32.lean 4 declarations
• OriginalBlock33.lean 4 declarations
• OriginalBlock34.lean 4 declarations
• OriginalBlock35.lean 4 declarations
• OriginalBlock36.lean 4 declarations
• OriginalBlock37.lean 4 declarations
• OriginalBlock38.lean 4 declarations
• OriginalBlock39.lean 4 declarations
• OriginalBlock4.lean 4 declarations
• OriginalBlock40.lean 4 declarations
• OriginalBlock41.lean 4 declarations
• OriginalBlock42.lean 4 declarations
• OriginalBlock43.lean 4 declarations
• OriginalBlock44.lean 4 declarations
• OriginalBlock45.lean 4 declarations
• OriginalBlock46.lean 4 declarations
• OriginalBlock47.lean 4 declarations
• OriginalBlock48.lean 4 declarations
• OriginalBlock49.lean 4 declarations
• OriginalBlock5.lean 4 declarations
• OriginalBlock50.lean 4 declarations
• OriginalBlock51.lean 4 declarations
• OriginalBlock52.lean 4 declarations
• OriginalBlock53.lean 4 declarations
• OriginalBlock54.lean 4 declarations
• OriginalBlock55.lean 4 declarations
• OriginalBlock56.lean 4 declarations
• OriginalBlock57.lean 4 declarations
• OriginalBlock58.lean 4 declarations
• OriginalBlock59.lean 4 declarations
• OriginalBlock6.lean 4 declarations
• OriginalBlock60.lean 4 declarations
• OriginalBlock61.lean 4 declarations
• OriginalBlock62.lean 4 declarations
• OriginalBlock63.lean 4 declarations
• OriginalBlock64.lean 4 declarations
• OriginalBlock65.lean 4 declarations
• OriginalBlock66.lean 4 declarations
• OriginalBlock67.lean 4 declarations
• OriginalBlock68.lean 4 declarations
• OriginalBlock69.lean 4 declarations
• OriginalBlock7.lean 4 declarations
• OriginalBlock70.lean 4 declarations
• OriginalBlock71.lean 4 declarations
• OriginalBlock72.lean 4 declarations
• OriginalBlock73.lean 4 declarations
• OriginalBlock74.lean 4 declarations
• OriginalBlock75.lean 4 declarations
• OriginalBlock76.lean 4 declarations
• OriginalBlock77.lean 4 declarations
• OriginalBlock78.lean 4 declarations
• OriginalBlock79.lean 4 declarations
• OriginalBlock8.lean 4 declarations
• OriginalBlock80.lean 4 declarations
• OriginalBlock81.lean 4 declarations
• OriginalBlock82.lean 4 declarations
• OriginalBlock83.lean 4 declarations
• OriginalBlock84.lean 4 declarations
• OriginalBlock85.lean 4 declarations
• OriginalBlock86.lean 4 declarations
• OriginalBlock87.lean 4 declarations
• OriginalBlock88.lean 4 declarations
• OriginalBlock89.lean 4 declarations
• OriginalBlock9.lean 4 declarations
• OriginalBlock90.lean 4 declarations
• OriginalCollection.lean 3 declarations
• OriginalMerge0.lean 64 declarations
• OriginalMerge1.lean 82 declarations
• OriginalMerge2.lean 92 declarations
• OriginalMerge3.lean 70 declarations
• OriginalMerge4.lean 99 declarations
• OriginalMerge5.lean 123 declarations
• ReductionData0.lean 96 declarations
• ReductionData1.lean 96 declarations
• ReductionData10.lean 96 declarations
• ReductionData11.lean 96 declarations
• ReductionData12.lean 96 declarations
• ReductionData13.lean 96 declarations
• ReductionData14.lean 96 declarations
• ReductionData15.lean 96 declarations
• ReductionData16.lean 96 declarations
• ReductionData17.lean 96 declarations
• ReductionData18.lean 96 declarations
• ReductionData19.lean 96 declarations
• ReductionData2.lean 96 declarations
• ReductionData20.lean 96 declarations
• ReductionData21.lean 96 declarations
• ReductionData22.lean 96 declarations
• ReductionData23.lean 96 declarations
• ReductionData24.lean 96 declarations
• ReductionData25.lean 96 declarations
• ReductionData26.lean 96 declarations
• ReductionData27.lean 96 declarations
• ReductionData28.lean 96 declarations
• ReductionData29.lean 96 declarations
• ReductionData3.lean 96 declarations
• ReductionData30.lean 96 declarations
• ReductionData31.lean 96 declarations
• ReductionData32.lean 96 declarations
• ReductionData33.lean 96 declarations
• ReductionData34.lean 96 declarations
• ReductionData35.lean 96 declarations
• ReductionData36.lean 96 declarations
• ReductionData37.lean 96 declarations
• ReductionData38.lean 96 declarations
• ReductionData39.lean 96 declarations
• ReductionData4.lean 96 declarations
• ReductionData40.lean 96 declarations
• ReductionData41.lean 96 declarations
• ReductionData42.lean 96 declarations
• ReductionData43.lean 96 declarations
• ReductionData44.lean 96 declarations
• ReductionData45.lean 96 declarations
• ReductionData46.lean 96 declarations
• ReductionData47.lean 96 declarations
• ReductionData48.lean 96 declarations
• ReductionData49.lean 96 declarations
• ReductionData5.lean 96 declarations
• ReductionData50.lean 96 declarations
• ReductionData51.lean 96 declarations
• ReductionData52.lean 96 declarations
• ReductionData53.lean 96 declarations
• ReductionData54.lean 96 declarations
• ReductionData55.lean 96 declarations
• ReductionData56.lean 96 declarations
• ReductionData57.lean 96 declarations
• ReductionData58.lean 96 declarations
• ReductionData59.lean 93 declarations
• ReductionData6.lean 96 declarations
• ReductionData7.lean 96 declarations
• ReductionData8.lean 96 declarations
• ReductionData9.lean 96 declarations
• ReductionFinal.lean 1 declarations
• ReductionFinalArithmetic.lean 5 declarations
• ReductionMergeData0.lean 96 declarations
• ReductionMergeData1.lean 96 declarations
• ReductionMergeData10.lean 96 declarations
• ReductionMergeData11.lean 96 declarations
• ReductionMergeData12.lean 96 declarations
• ReductionMergeData13.lean 96 declarations
• ReductionMergeData14.lean 96 declarations
• ReductionMergeData15.lean 96 declarations
• ReductionMergeData16.lean 96 declarations
• ReductionMergeData17.lean 96 declarations
• ReductionMergeData18.lean 96 declarations
• ReductionMergeData19.lean 96 declarations
• ReductionMergeData2.lean 96 declarations
• ReductionMergeData20.lean 96 declarations
• ReductionMergeData21.lean 96 declarations
• ReductionMergeData22.lean 96 declarations
• ReductionMergeData23.lean 96 declarations
• ReductionMergeData24.lean 96 declarations
• ReductionMergeData25.lean 96 declarations
• ReductionMergeData26.lean 96 declarations
• ReductionMergeData27.lean 96 declarations
• ReductionMergeData28.lean 96 declarations
• ReductionMergeData29.lean 114 declarations
• ReductionMergeData3.lean 96 declarations
• ReductionMergeData30.lean 96 declarations
• ReductionMergeData31.lean 96 declarations
• ReductionMergeData32.lean 96 declarations
• ReductionMergeData33.lean 96 declarations
• ReductionMergeData34.lean 96 declarations
• ReductionMergeData35.lean 96 declarations
• ReductionMergeData36.lean 96 declarations
• ReductionMergeData37.lean 96 declarations
• ReductionMergeData38.lean 96 declarations
• ReductionMergeData39.lean 96 declarations
• ReductionMergeData4.lean 96 declarations
• ReductionMergeData40.lean 96 declarations
• ReductionMergeData41.lean 96 declarations
• ReductionMergeData42.lean 96 declarations
• ReductionMergeData43.lean 96 declarations
• ReductionMergeData44.lean 103 declarations
• ReductionMergeData45.lean 96 declarations
• ReductionMergeData46.lean 96 declarations
• ReductionMergeData47.lean 96 declarations
• ReductionMergeData48.lean 96 declarations
• ReductionMergeData49.lean 96 declarations
• ReductionMergeData5.lean 96 declarations
• ReductionMergeData50.lean 96 declarations
• ReductionMergeData51.lean 96 declarations
• ReductionMergeData52.lean 96 declarations
• ReductionMergeData53.lean 96 declarations
• ReductionMergeData54.lean 96 declarations
• ReductionMergeData55.lean 96 declarations
• ReductionMergeData56.lean 96 declarations
• ReductionMergeData57.lean 96 declarations
• ReductionMergeData58.lean 96 declarations
• ReductionMergeData59.lean 134 declarations
• ReductionMergeData6.lean 96 declarations
• ReductionMergeData7.lean 96 declarations
• ReductionMergeData8.lean 96 declarations
• ReductionMergeData9.lean 96 declarations
• ReductionMergeSound0.lean 32 declarations
• ReductionMergeSound1.lean 32 declarations
• ReductionMergeSound10.lean 32 declarations
• ReductionMergeSound11.lean 32 declarations
• ReductionMergeSound12.lean 32 declarations
• ReductionMergeSound13.lean 32 declarations
• ReductionMergeSound14.lean 32 declarations
• ReductionMergeSound15.lean 32 declarations
• ReductionMergeSound16.lean 32 declarations
• ReductionMergeSound17.lean 32 declarations
• ReductionMergeSound18.lean 32 declarations
• ReductionMergeSound19.lean 32 declarations
• ReductionMergeSound2.lean 32 declarations
• ReductionMergeSound20.lean 32 declarations
• ReductionMergeSound21.lean 32 declarations
• ReductionMergeSound22.lean 32 declarations
• ReductionMergeSound23.lean 32 declarations
• ReductionMergeSound24.lean 32 declarations
• ReductionMergeSound25.lean 32 declarations
• ReductionMergeSound26.lean 32 declarations
• ReductionMergeSound27.lean 32 declarations
• ReductionMergeSound28.lean 32 declarations
• ReductionMergeSound29.lean 32 declarations
• ReductionMergeSound3.lean 32 declarations
• ReductionMergeSound30.lean 32 declarations
• ReductionMergeSound31.lean 32 declarations
• ReductionMergeSound32.lean 32 declarations
• ReductionMergeSound33.lean 32 declarations
• ReductionMergeSound34.lean 32 declarations
• ReductionMergeSound35.lean 32 declarations
• ReductionMergeSound36.lean 32 declarations
• ReductionMergeSound37.lean 32 declarations
• ReductionMergeSound38.lean 32 declarations
• ReductionMergeSound39.lean 32 declarations
• ReductionMergeSound4.lean 32 declarations
• ReductionMergeSound40.lean 32 declarations
• ReductionMergeSound41.lean 32 declarations
• ReductionMergeSound42.lean 32 declarations
• ReductionMergeSound43.lean 32 declarations
• ReductionMergeSound44.lean 32 declarations
• ReductionMergeSound45.lean 32 declarations
• ReductionMergeSound46.lean 32 declarations
• ReductionMergeSound47.lean 32 declarations
• ReductionMergeSound48.lean 32 declarations
• ReductionMergeSound49.lean 32 declarations
• ReductionMergeSound5.lean 32 declarations
• ReductionMergeSound50.lean 32 declarations
• ReductionMergeSound51.lean 32 declarations
• ReductionMergeSound52.lean 32 declarations
• ReductionMergeSound53.lean 32 declarations
• ReductionMergeSound54.lean 32 declarations
• ReductionMergeSound55.lean 32 declarations
• ReductionMergeSound56.lean 32 declarations
• ReductionMergeSound57.lean 32 declarations
• ReductionMergeSound58.lean 32 declarations
• ReductionMergeSound59.lean 30 declarations
• ReductionMergeSound6.lean 32 declarations
• ReductionMergeSound7.lean 32 declarations
• ReductionMergeSound8.lean 32 declarations
• ReductionMergeSound9.lean 32 declarations
• ReductionSound0.lean 32 declarations
• ReductionSound1.lean 32 declarations
• ReductionSound10.lean 32 declarations
• ReductionSound11.lean 32 declarations
• ReductionSound12.lean 32 declarations
• ReductionSound13.lean 32 declarations
• ReductionSound14.lean 32 declarations
• ReductionSound15.lean 32 declarations
• ReductionSound16.lean 32 declarations
• ReductionSound17.lean 32 declarations
• ReductionSound18.lean 32 declarations
• ReductionSound19.lean 32 declarations
• ReductionSound2.lean 32 declarations
• ReductionSound20.lean 32 declarations
• ReductionSound21.lean 32 declarations
• ReductionSound22.lean 32 declarations
• ReductionSound23.lean 32 declarations
• ReductionSound24.lean 32 declarations
• ReductionSound25.lean 32 declarations
• ReductionSound26.lean 32 declarations
• ReductionSound27.lean 32 declarations
• ReductionSound28.lean 32 declarations
• ReductionSound29.lean 32 declarations
• ReductionSound3.lean 32 declarations
• ReductionSound30.lean 32 declarations
• ReductionSound31.lean 32 declarations
• ReductionSound32.lean 32 declarations
• ReductionSound33.lean 32 declarations
• ReductionSound34.lean 32 declarations
• ReductionSound35.lean 32 declarations
• ReductionSound36.lean 32 declarations
• ReductionSound37.lean 32 declarations
• ReductionSound38.lean 32 declarations
• ReductionSound39.lean 32 declarations
• ReductionSound4.lean 32 declarations
• ReductionSound40.lean 32 declarations
• ReductionSound41.lean 32 declarations
• ReductionSound42.lean 32 declarations
• ReductionSound43.lean 32 declarations
• ReductionSound44.lean 32 declarations
• ReductionSound45.lean 32 declarations
• ReductionSound46.lean 32 declarations
• ReductionSound47.lean 32 declarations
• ReductionSound48.lean 32 declarations
• ReductionSound49.lean 32 declarations
• ReductionSound5.lean 32 declarations
• ReductionSound50.lean 32 declarations
• ReductionSound51.lean 32 declarations
• ReductionSound52.lean 32 declarations
• ReductionSound53.lean 32 declarations
• ReductionSound54.lean 32 declarations
• ReductionSound55.lean 32 declarations
• ReductionSound56.lean 32 declarations
• ReductionSound57.lean 32 declarations
• ReductionSound58.lean 32 declarations
• ReductionSound59.lean 31 declarations
• ReductionSound6.lean 32 declarations
• ReductionSound7.lean 32 declarations
• ReductionSound8.lean 32 declarations
• ReductionSound9.lean 32 declarations