`OAI/MathematicalPhysics/Transonic/Certificates/`

274267 declarations, 0 contain sorry, 0 declared as axioms; 348 files

Files

Barrier00.lean 1297 declarations
Barrier01.lean 1297 declarations
Barrier02.lean 1297 declarations
Barrier03.lean 1297 declarations
Barrier04.lean 1297 declarations
Barrier05.lean 1297 declarations
Barrier06.lean 1297 declarations
Barrier07.lean 1297 declarations
Barrier08.lean 1297 declarations
Barrier09.lean 1297 declarations
Barrier10.lean 1297 declarations
Barrier11.lean 1297 declarations
Barrier12.lean 1297 declarations
Barrier13.lean 1297 declarations
Barrier14.lean 1297 declarations
Barrier15.lean 1297 declarations
Barrier16.lean 1297 declarations
Barrier17.lean 1297 declarations
Barrier18.lean 1297 declarations
Barrier19.lean 1297 declarations
Barrier20.lean 1297 declarations
Barrier21.lean 1297 declarations
Barrier22.lean 1297 declarations
Barrier23.lean 1297 declarations
Barrier24.lean 1297 declarations
Barrier25.lean 1297 declarations
Barrier26.lean 1297 declarations
Barrier27.lean 1297 declarations
Barrier28.lean 1297 declarations
Barrier29.lean 1297 declarations
Barrier30.lean 1297 declarations
Barrier31.lean 1297 declarations
Barrier32.lean 1297 declarations
Barrier33.lean 1297 declarations
Barrier34.lean 1297 declarations
Barrier35.lean 1297 declarations
Barrier36.lean 1297 declarations
Barrier37.lean 1297 declarations
Barrier38.lean 1297 declarations
Barrier39.lean 1297 declarations
Barrier40.lean 1297 declarations
Barrier41.lean 1297 declarations
Barrier42.lean 1297 declarations
Barrier43.lean 1297 declarations
Barrier44.lean 1297 declarations
Barrier45.lean 1297 declarations
Barrier46.lean 1297 declarations
Barrier47.lean 1297 declarations
Barrier48.lean 1297 declarations
Barrier49.lean 1297 declarations
Barrier50.lean 1297 declarations
Barrier51.lean 1297 declarations
Barrier52.lean 1297 declarations
Barrier53.lean 1297 declarations
Barrier54.lean 1297 declarations
Barrier55.lean 1297 declarations
Barrier56.lean 1297 declarations
Barrier57.lean 1297 declarations
Barrier58.lean 1297 declarations
Barrier59.lean 1297 declarations
Barrier60.lean 1297 declarations
Barrier61.lean 1297 declarations
Barrier62.lean 1297 declarations
Barrier63.lean 1297 declarations
BarrierData00.lean 2097 declarations
BarrierData01.lean 2097 declarations
BarrierData02.lean 2097 declarations
BarrierData03.lean 2097 declarations
BarrierData04.lean 2097 declarations
BarrierData05.lean 2097 declarations
BarrierData06.lean 2097 declarations
BarrierData07.lean 2097 declarations
BarrierData08.lean 2097 declarations
BarrierData09.lean 2097 declarations
BarrierData10.lean 2097 declarations
BarrierData11.lean 2097 declarations
BarrierData12.lean 2097 declarations
BarrierData13.lean 2097 declarations
BarrierData14.lean 2097 declarations
BarrierData15.lean 2097 declarations
BarrierData16.lean 2097 declarations
BarrierData17.lean 2097 declarations
BarrierData18.lean 2097 declarations
BarrierData19.lean 2097 declarations
BarrierData20.lean 2097 declarations
BarrierData21.lean 2097 declarations
BarrierData22.lean 2097 declarations
BarrierData23.lean 2097 declarations
BarrierData24.lean 2097 declarations
BarrierData25.lean 2097 declarations
BarrierData26.lean 2097 declarations
BarrierData27.lean 2097 declarations
BarrierData28.lean 2097 declarations
BarrierData29.lean 2097 declarations
BarrierData30.lean 2097 declarations
BarrierData31.lean 2097 declarations
BarrierData32.lean 2097 declarations
BarrierData33.lean 2097 declarations
BarrierData34.lean 2097 declarations
BarrierData35.lean 2097 declarations
BarrierData36.lean 2097 declarations
BarrierData37.lean 2097 declarations
BarrierData38.lean 2097 declarations
BarrierData39.lean 2097 declarations
BarrierData40.lean 2097 declarations
BarrierData41.lean 2097 declarations
BarrierData42.lean 2097 declarations
BarrierData43.lean 2097 declarations
BarrierData44.lean 2097 declarations
BarrierData45.lean 2097 declarations
BarrierData46.lean 2097 declarations
BarrierData47.lean 2097 declarations
BarrierData48.lean 2097 declarations
BarrierData49.lean 2097 declarations
BarrierData50.lean 2097 declarations
BarrierData51.lean 2097 declarations
BarrierData52.lean 2097 declarations
BarrierData53.lean 2097 declarations
BarrierData54.lean 2097 declarations
BarrierData55.lean 2097 declarations
BarrierData56.lean 2097 declarations
BarrierData57.lean 2097 declarations
BarrierData58.lean 2097 declarations
BarrierData59.lean 2097 declarations
BarrierData60.lean 2097 declarations
BarrierData61.lean 2097 declarations
BarrierData62.lean 2097 declarations
BarrierData63.lean 2097 declarations
Cover0.lean 1 declarations
Cover1.lean 1 declarations
Cover2.lean 1 declarations
Cover3.lean 1 declarations
Cover4.lean 1 declarations
Cover5.lean 1 declarations
Cover6.lean 1 declarations
Cover7.lean 1 declarations
FixedHighJet.lean 120 declarations
FixedHighMinusBarrier.lean 190 declarations
FixedHighMinusPositive.lean 9 declarations
FixedHighPlusBarrier.lean 190 declarations
FixedHighPlusPositive.lean 9 declarations
FixedIntegerBound.lean 1 declarations
FixedLowJet.lean 120 declarations
FixedLowMinusBarrier.lean 190 declarations
FixedLowMinusPositive.lean 9 declarations
FixedLowPlusBarrier.lean 190 declarations
FixedLowPlusPositive.lean 9 declarations
HighEndpointBox.lean 7 declarations
HighMinusCertificate.lean 58 declarations
HighPlusCertificate.lean 58 declarations
HighPolynomialCertificate.lean 6 declarations
Jet00.lean 753 declarations
Jet01.lean 753 declarations
Jet02.lean 753 declarations
Jet03.lean 753 declarations
Jet04.lean 753 declarations
Jet05.lean 753 declarations
Jet06.lean 753 declarations
Jet07.lean 753 declarations
Jet08.lean 753 declarations
Jet09.lean 753 declarations
Jet10.lean 753 declarations
Jet11.lean 753 declarations
Jet12.lean 753 declarations
Jet13.lean 753 declarations
Jet14.lean 753 declarations
Jet15.lean 753 declarations
Jet16.lean 753 declarations
Jet17.lean 753 declarations
Jet18.lean 753 declarations
Jet19.lean 753 declarations
Jet20.lean 753 declarations
Jet21.lean 753 declarations
Jet22.lean 753 declarations
Jet23.lean 753 declarations
Jet24.lean 753 declarations
Jet25.lean 753 declarations
Jet26.lean 753 declarations
Jet27.lean 753 declarations
Jet28.lean 753 declarations
Jet29.lean 753 declarations
Jet30.lean 753 declarations
Jet31.lean 753 declarations
Jet32.lean 753 declarations
Jet33.lean 753 declarations
Jet34.lean 753 declarations
Jet35.lean 753 declarations
Jet36.lean 753 declarations
Jet37.lean 753 declarations
Jet38.lean 753 declarations
Jet39.lean 753 declarations
Jet40.lean 753 declarations
Jet41.lean 753 declarations
Jet42.lean 753 declarations
Jet43.lean 753 declarations
Jet44.lean 753 declarations
Jet45.lean 753 declarations
Jet46.lean 753 declarations
Jet47.lean 753 declarations
Jet48.lean 753 declarations
Jet49.lean 753 declarations
Jet50.lean 753 declarations
Jet51.lean 753 declarations
Jet52.lean 753 declarations
Jet53.lean 753 declarations
Jet54.lean 753 declarations
Jet55.lean 753 declarations
Jet56.lean 753 declarations
Jet57.lean 753 declarations
Jet58.lean 753 declarations
Jet59.lean 753 declarations
Jet60.lean 753 declarations
Jet61.lean 753 declarations
Jet62.lean 753 declarations
Jet63.lean 753 declarations
LowEndpointBox.lean 7 declarations
LowMinusCertificate.lean 58 declarations
LowPlusCertificate.lean 58 declarations
LowPolynomialCertificate.lean 6 declarations
Parameters00.lean 96 declarations
Parameters01.lean 96 declarations
Parameters02.lean 96 declarations
Parameters03.lean 96 declarations
Parameters04.lean 96 declarations
Parameters05.lean 96 declarations
Parameters06.lean 96 declarations
Parameters07.lean 96 declarations
Parameters08.lean 96 declarations
Parameters09.lean 96 declarations
Parameters10.lean 96 declarations
Parameters11.lean 96 declarations
Parameters12.lean 96 declarations
Parameters13.lean 96 declarations
Parameters14.lean 96 declarations
Parameters15.lean 96 declarations
Parameters16.lean 96 declarations
Parameters17.lean 96 declarations
Parameters18.lean 96 declarations
Parameters19.lean 96 declarations
Parameters20.lean 96 declarations
Parameters21.lean 96 declarations
Parameters22.lean 96 declarations
Parameters23.lean 96 declarations
Parameters24.lean 96 declarations
Parameters25.lean 96 declarations
Parameters26.lean 96 declarations
Parameters27.lean 96 declarations
Parameters28.lean 96 declarations
Parameters29.lean 96 declarations
Parameters30.lean 96 declarations
Parameters31.lean 96 declarations
Parameters32.lean 96 declarations
Parameters33.lean 96 declarations
Parameters34.lean 96 declarations
Parameters35.lean 96 declarations
Parameters36.lean 96 declarations
Parameters37.lean 96 declarations
Parameters38.lean 96 declarations
Parameters39.lean 96 declarations
Parameters40.lean 96 declarations
Parameters41.lean 96 declarations
Parameters42.lean 96 declarations
Parameters43.lean 96 declarations
Parameters44.lean 96 declarations
Parameters45.lean 96 declarations
Parameters46.lean 96 declarations
Parameters47.lean 96 declarations
Parameters48.lean 96 declarations
Parameters49.lean 96 declarations
Parameters50.lean 96 declarations
Parameters51.lean 96 declarations
Parameters52.lean 96 declarations
Parameters53.lean 96 declarations
Parameters54.lean 96 declarations
Parameters55.lean 96 declarations
Parameters56.lean 96 declarations
Parameters57.lean 96 declarations
Parameters58.lean 96 declarations
Parameters59.lean 96 declarations
Parameters60.lean 96 declarations
Parameters61.lean 96 declarations
Parameters62.lean 96 declarations
Parameters63.lean 96 declarations
SonicEndpointBox.lean 4 declarations
Window00.lean 22 declarations
Window01.lean 22 declarations
Window02.lean 22 declarations
Window03.lean 22 declarations
Window04.lean 22 declarations
Window05.lean 22 declarations
Window06.lean 22 declarations
Window07.lean 22 declarations
Window08.lean 22 declarations
Window09.lean 22 declarations
Window10.lean 22 declarations
Window11.lean 22 declarations
Window12.lean 22 declarations
Window13.lean 22 declarations
Window14.lean 22 declarations
Window15.lean 22 declarations
Window16.lean 22 declarations
Window17.lean 22 declarations
Window18.lean 22 declarations
Window19.lean 22 declarations
Window20.lean 22 declarations
Window21.lean 22 declarations
Window22.lean 22 declarations
Window23.lean 22 declarations
Window24.lean 22 declarations
Window25.lean 22 declarations
Window26.lean 22 declarations
Window27.lean 22 declarations
Window28.lean 22 declarations
Window29.lean 22 declarations
Window30.lean 22 declarations
Window31.lean 22 declarations
Window32.lean 22 declarations
Window33.lean 22 declarations
Window34.lean 22 declarations
Window35.lean 22 declarations
Window36.lean 22 declarations
Window37.lean 22 declarations
Window38.lean 22 declarations
Window39.lean 22 declarations
Window40.lean 22 declarations
Window41.lean 22 declarations
Window42.lean 22 declarations
Window43.lean 22 declarations
Window44.lean 22 declarations
Window45.lean 22 declarations
Window46.lean 22 declarations
Window47.lean 22 declarations
Window48.lean 22 declarations
Window49.lean 22 declarations
Window50.lean 22 declarations
Window51.lean 22 declarations
Window52.lean 22 declarations
Window53.lean 22 declarations
Window54.lean 22 declarations
Window55.lean 22 declarations
Window56.lean 22 declarations
Window57.lean 22 declarations
Window58.lean 22 declarations
Window59.lean 22 declarations
Window60.lean 22 declarations
Window61.lean 22 declarations
Window62.lean 22 declarations
Window63.lean 22 declarations