├── .github └── workflows │ └── pr.yml ├── .gitignore ├── LICENSE ├── README.md ├── leanpkg.toml ├── scripts ├── build_new_files.sh ├── detect_errors.py ├── fetch_olean_cache.sh ├── lint-style.py ├── lint-style.sh ├── port_mathlib_imo_problems.py ├── port_minif2f.py └── update_mathlib.py └── src └── mathzoo ├── imports ├── README.md └── miniF2F.lean ├── misc ├── README.md └── miniF2F │ ├── algebra │ ├── 2complexrootspoly_xsqp49eqxp7itxpn7i.lean │ ├── 2rootsintpoly_am10tap11eqasqpam110.lean │ ├── 2rootspoly_apatapbeq2asqp2ab.lean │ ├── 2varlineareq_fp3zeq11_3tfm1m5zeqn68_feqn10_zeq7.lean │ ├── 2varlineareq_xpeeq7_2xpeeq3_eeq11_xeqn4.lean │ ├── 3rootspoly_amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.lean │ ├── 9onxpypzleqsum2onxpy.lean │ ├── abpbcpcageq3_sumaonsqrtapbgeq3onsqrt2.lean │ ├── absapbon1pabsapbleqsumabsaon1pabsa.lean │ ├── absxm1pabsxpabsxp1eqxp2_0leqxleq1.lean │ ├── amgm_faxinrrp2msqrt2geq2mxm1div2x.lean │ ├── amgm_prod1toneq1_sum1tongeqn.lean │ ├── amgm_sqrtxymulxmyeqxpy_xpygeq4.lean │ ├── amgm_sum1toneqn_prod1tonleq1.lean │ ├── amgm_sumasqdivbgeqsuma.lean │ ├── amgm_sumasqdivbsqgeqsumbdiva.lean │ ├── apb4leq8ta4pb4.lean │ ├── apbmpcneq0_aeq0anbeq0anceq0.lean │ ├── apbon2pownleqapownpbpowon2.lean │ ├── apbpceq2_abpbcpcaeq1_aleq1on3anbleq1ancleq4on3.lean │ ├── binomnegdiscrineq_10alt28asqp1.lean │ ├── bleqa_apbon2msqrtableqambsqon8b.lean │ ├── cubrtrp1oncubrtreq3_rcubp1onrcubeq5778.lean │ ├── ineq_nto1onlt2m1on.lean │ ├── manipexpr_2erprsqpesqeqnrpnesq.lean │ ├── manipexpr_apbeq2cceqiacpbceqm2.lean │ ├── others_exirrpowirrrat.lean │ ├── sqineq_2at2pclta2c2p41pc.lean │ ├── sqineq_2unitcircatblt1.lean │ ├── sqineq_36azm9asqle36zsq.lean │ ├── sqineq_4bap1lt4bsqpap1sq.lean │ ├── sqineq_at2malt1.lean │ ├── sqineq_unitcircatbpabsamblt1.lean │ ├── sqineq_unitcircatbpamblt1.lean │ ├── sum1onsqrt2to1onsqrt10000lt198.lean │ └── xmysqpymzsqpzmxsqeqxyz_xpypzp6dvdx3y3z3.lean │ ├── induction │ ├── 11div10tonmn1ton.lean │ ├── 12dvd4expnp1p20.lean │ ├── 1pxpownlt1pnx.lean │ ├── divisibility_3div2tooddnp1.lean │ ├── divisibility_3divnto3m2n.lean │ ├── divisibility_9div10tonm1.lean │ ├── ineq_nsqlefactn.lean │ ├── nfactltnexpnm1ngt3.lean │ ├── pord1p1on2powklt5on2.lean │ ├── pprime_pdvdapowpma.lean │ ├── prod1p1onk3le3m1onn.lean │ ├── seq_mul2pnp1.lean │ ├── sum2kp1npqsqm1.lean │ ├── sum_1oktkp1.lean │ ├── sum_odd.lean │ └── sumkexp3eqsumksq.lean │ └── numbertheory │ ├── 2dvd4expn.lean │ ├── 2pownm1prime_nprime.lean │ ├── 3pow2pownm1mod2pownp3eq2pownp2.lean │ ├── 4x3m7y3neq2003.lean │ ├── aneqprodakp4_anmsqrtanp1eq2.lean │ ├── aoddbdiv4asqpbsqmod8eq1.lean │ ├── exk2powkeqapb2mulbpa2_aeq1.lean │ ├── fxeq4powxp6powxp9powx_f2powmdvdf2pown.lean │ ├── nckeqnm1ckpnm1ckm1.lean │ ├── notequiv2i2jasqbsqdiv8.lean │ ├── prmdvsneqnsqmodpeq0.lean │ ├── sqmod3in01d.lean │ ├── sqmod4in01d.lean │ ├── sumkmulnckeqnmul2pownm1.lean │ ├── x5neqy2p4.lean │ └── xsqpysqintdenomeq.lean └── olympiads ├── README.md ├── aime ├── 1983 │ ├── p1.lean │ ├── p2.lean │ ├── p3.lean │ └── p9.lean ├── 1984 │ ├── p1.lean │ ├── p15.lean │ ├── p5.lean │ └── p7.lean ├── 1987 │ ├── p5.lean │ └── p8.lean ├── 1988 │ ├── p3.lean │ ├── p4.lean │ └── p8.lean ├── 1989 │ └── p8.lean ├── 1990 │ ├── p15.lean │ ├── p2.lean │ └── p4.lean ├── 1991 │ ├── p1.lean │ ├── p6.lean │ └── p9.lean ├── 1994 │ ├── p3.lean │ └── p4.lean ├── 1995 │ └── p7.lean ├── 1996 │ └── p5.lean ├── 1997 │ ├── p12.lean │ └── p9.lean ├── 1999 │ └── p11.lean ├── 2000 │ └── i │ │ └── p7.lean ├── 2001 │ └── i │ │ └── p3.lean ├── 2020 │ └── ii │ │ └── p6.lean └── README.md ├── amc ├── 8 │ └── 2020 │ │ ├── p22.lean │ │ ├── p23.lean │ │ ├── p6.lean │ │ └── p7.lean ├── 10 │ └── 2021 │ │ └── b │ │ └── p5.lean ├── 12 │ ├── 2000 │ │ ├── p1.lean │ │ ├── p11.lean │ │ ├── p12.lean │ │ ├── p15.lean │ │ ├── p20.lean │ │ ├── p5.lean │ │ └── p6.lean │ ├── 2001 │ │ ├── p2.lean │ │ ├── p21.lean │ │ ├── p5.lean │ │ └── p9.lean │ ├── 2002 │ │ ├── a │ │ │ ├── p1.lean │ │ │ ├── p12.lean │ │ │ ├── p13.lean │ │ │ ├── p21.lean │ │ │ └── p6.lean │ │ └── b │ │ │ ├── p11.lean │ │ │ ├── p19.lean │ │ │ ├── p2.lean │ │ │ ├── p3.lean │ │ │ ├── p4.lean │ │ │ ├── p6.lean │ │ │ └── p7.lean │ ├── 2003 │ │ ├── a │ │ │ ├── p1.lean │ │ │ ├── p23.lean │ │ │ ├── p24.lean │ │ │ ├── p25.lean │ │ │ └── p5.lean │ │ └── b │ │ │ ├── p17.lean │ │ │ ├── p6.lean │ │ │ └── p9.lean │ ├── 2004 │ │ └── b │ │ │ └── p3.lean │ ├── 2008 │ │ └── a │ │ │ ├── p15.lean │ │ │ ├── p2.lean │ │ │ ├── p25.lean │ │ │ ├── p4.lean │ │ │ └── p8.lean │ ├── 2009 │ │ └── a │ │ │ ├── p15.lean │ │ │ ├── p2.lean │ │ │ ├── p25.lean │ │ │ ├── p5.lean │ │ │ ├── p6.lean │ │ │ ├── p7.lean │ │ │ └── p9.lean │ ├── 2010 │ │ └── a │ │ │ ├── p10.lean │ │ │ ├── p11.lean │ │ │ └── p22.lean │ ├── 2011 │ │ └── a │ │ │ └── p18.lean │ ├── 2013 │ │ └── a │ │ │ ├── p4.lean │ │ │ ├── p7.lean │ │ │ └── p8.lean │ ├── 2015 │ │ └── a │ │ │ └── p10.lean │ ├── 2016 │ │ └── a │ │ │ ├── p2.lean │ │ │ └── p3.lean │ ├── 2017 │ │ └── a │ │ │ ├── p2.lean │ │ │ └── p7.lean │ ├── 2019 │ │ └── a │ │ │ ├── p12.lean │ │ │ ├── p21.lean │ │ │ └── p9.lean │ ├── 2020 │ │ ├── a │ │ │ ├── p10.lean │ │ │ ├── p13.lean │ │ │ ├── p15.lean │ │ │ ├── p22.lean │ │ │ ├── p25.lean │ │ │ ├── p4.lean │ │ │ ├── p7.lean │ │ │ └── p9.lean │ │ └── b │ │ │ ├── p13.lean │ │ │ ├── p2.lean │ │ │ ├── p21.lean │ │ │ ├── p22.lean │ │ │ ├── p5.lean │ │ │ └── p6.lean │ └── 2021 │ │ ├── a │ │ ├── p12.lean │ │ ├── p14.lean │ │ ├── p18.lean │ │ ├── p19.lean │ │ ├── p22.lean │ │ ├── p25.lean │ │ ├── p3.lean │ │ ├── p7.lean │ │ ├── p8.lean │ │ └── p9.lean │ │ └── b │ │ ├── p1.lean │ │ ├── p13.lean │ │ ├── p18.lean │ │ ├── p21.lean │ │ ├── p3.lean │ │ ├── p4.lean │ │ └── p9.lean └── README.md ├── imo ├── 1959 │ └── p1.lean ├── 1960 │ ├── p1.lean │ └── p2.lean ├── 1961 │ └── p1.lean ├── 1962 │ ├── p1.lean │ ├── p2.lean │ └── p4.lean ├── 1963 │ └── p5.lean ├── 1964 │ ├── p1.lean │ └── p2.lean ├── 1965 │ ├── p1.lean │ └── p2.lean ├── 1966 │ ├── p4.lean │ └── p5.lean ├── 1967 │ └── p3.lean ├── 1968 │ └── p5.lean ├── 1969 │ ├── p1.lean │ └── p2.lean ├── 1972 │ ├── p5.lean │ └── p5_alt1.lean ├── 1973 │ └── p3.lean ├── 1974 │ ├── p3.lean │ └── p5.lean ├── 1977 │ ├── p5.lean │ └── p6.lean ├── 1978 │ └── p5.lean ├── 1979 │ └── p1.lean ├── 1981 │ ├── p3.lean │ └── p6.lean ├── 1982 │ └── p1.lean ├── 1983 │ └── p6.lean ├── 1984 │ ├── p2.lean │ └── p6.lean ├── 1985 │ └── p6.lean ├── 1987 │ ├── p1.lean │ ├── p4.lean │ └── p6.lean ├── 1988 │ └── p6.lean ├── 1990 │ └── p3.lean ├── 1992 │ └── p1.lean ├── 1993 │ └── p5.lean ├── 1994 │ └── p1.lean ├── 1997 │ └── p5.lean ├── 1998 │ └── p2.lean ├── 2001 │ ├── p2.lean │ └── p6.lean ├── 2005 │ ├── p3.lean │ └── p4.lean ├── 2006 │ ├── p3.lean │ └── p6.lean ├── 2007 │ └── p6.lean ├── 2008 │ ├── p2.lean │ ├── p3.lean │ └── p4.lean ├── 2011 │ ├── p3.lean │ └── p5.lean ├── 2013 │ ├── p1.lean │ └── p5.lean ├── 2019 │ ├── p1.lean │ └── p4.lean ├── 2020 │ └── p2.lean ├── 2021 │ └── p1.lean └── README.md └── mathd ├── README.md ├── algebra ├── p10.lean ├── p101.lean ├── p104.lean ├── p107.lean ├── p109.lean ├── p11.lean ├── p110.lean ├── p113.lean ├── p114.lean ├── p116.lean ├── p119.lean ├── p123.lean ├── p125.lean ├── p126.lean ├── p129.lean ├── p13.lean ├── p131.lean ├── p132.lean ├── p137.lean ├── p139.lean ├── p140.lean ├── p141.lean ├── p142.lean ├── p143.lean ├── p144.lean ├── p148.lean ├── p149.lean ├── p15.lean ├── p151.lean ├── p153.lean ├── p156.lean ├── p158.lean ├── p159.lean ├── p160.lean ├── p17.lean ├── p170.lean ├── p171.lean ├── p176.lean ├── p181.lean ├── p182.lean ├── p184.lean ├── p185.lean ├── p188.lean ├── p190.lean ├── p192.lean ├── p196.lean ├── p206.lean ├── p208.lean ├── p209.lean ├── p214.lean ├── p215.lean ├── p22.lean ├── p224.lean ├── p234.lean ├── p24.lean ├── p245.lean ├── p246.lean ├── p247.lean ├── p251.lean ├── p263.lean ├── p267.lean ├── p270.lean ├── p275.lean ├── p276.lean ├── p28.lean ├── p282.lean ├── p288.lean ├── p289.lean ├── p293.lean ├── p296.lean ├── p302.lean ├── p304.lean ├── p31.lean ├── p313.lean ├── p314.lean ├── p320.lean ├── p323.lean ├── p327.lean ├── p329.lean ├── p33.lean ├── p332.lean ├── p338.lean ├── p342.lean ├── p346.lean ├── p35.lean ├── p354.lean ├── p359.lean ├── p362.lean ├── p37.lean ├── p388.lean ├── p392.lean ├── p393.lean ├── p398.lean ├── p400.lean ├── p405.lean ├── p410.lean ├── p412.lean ├── p419.lean ├── p421.lean ├── p422.lean ├── p427.lean ├── p43.lean ├── p432.lean ├── p433.lean ├── p437.lean ├── p44.lean ├── p440.lean ├── p441.lean ├── p451.lean ├── p452.lean ├── p455.lean ├── p459.lean ├── p462.lean ├── p478.lean ├── p48.lean ├── p480.lean ├── p482.lean ├── p484.lean ├── p487.lean ├── p493.lean ├── p509.lean ├── p51.lean ├── p510.lean ├── p513.lean ├── p536.lean ├── p547.lean ├── p55.lean ├── p568.lean ├── p59.lean ├── p598.lean ├── p616.lean ├── p67.lean ├── p69.lean ├── p73.lean ├── p756.lean ├── p76.lean ├── p77.lean ├── p80.lean ├── p89.lean └── p96.lean └── numbertheory ├── p100.lean ├── p101.lean ├── p102.lean ├── p109.lean ├── p110.lean ├── p1124.lean ├── p12.lean ├── p126.lean ├── p127.lean ├── p13.lean ├── p132.lean ├── p135.lean ├── p136.lean ├── p149.lean ├── p150.lean ├── p155.lean ├── p156.lean ├── p169.lean ├── p175.lean ├── p185.lean ├── p188.lean ├── p198.lean ├── p200.lean ├── p202.lean ├── p207.lean ├── p211.lean ├── p212.lean ├── p22.lean ├── p221.lean ├── p222.lean ├── p227.lean ├── p229.lean ├── p232.lean ├── p233.lean ├── p234.lean ├── p235.lean ├── p236.lean ├── p237.lean ├── p239.lean ├── p24.lean ├── p247.lean ├── p252.lean ├── p254.lean ├── p257.lean ├── p269.lean ├── p277.lean ├── p284.lean ├── p293.lean ├── p296.lean ├── p299.lean ├── p3.lean ├── p30.lean ├── p301.lean ├── p303.lean ├── p314.lean ├── p32.lean ├── p320.lean ├── p321.lean ├── p326.lean ├── p328.lean ├── p33.lean ├── p335.lean ├── p34.lean ├── p341.lean ├── p342.lean ├── p343.lean ├── p345.lean ├── p35.lean ├── p353.lean ├── p37.lean ├── p370.lean ├── p403.lean ├── p405.lean ├── p412.lean ├── p42.lean ├── p427.lean ├── p43.lean ├── p430.lean ├── p435.lean ├── p447.lean ├── p45.lean ├── p451.lean ├── p457.lean ├── p458.lean ├── p461.lean ├── p466.lean ├── p48.lean ├── p483.lean ├── p495.lean ├── p5.lean ├── p517.lean ├── p521.lean ├── p530.lean ├── p541.lean ├── p543.lean ├── p551.lean ├── p552.lean ├── p559.lean ├── p582.lean ├── p618.lean ├── p629.lean ├── p64.lean ├── p640.lean ├── p66.lean ├── p668.lean ├── p690.lean ├── p709.lean ├── p711.lean ├── p728.lean ├── p739.lean ├── p764.lean ├── p765.lean ├── p769.lean ├── p780.lean ├── p81.lean ├── p84.lean ├── p85.lean ├── p92.lean ├── p961.lean └── p99.lean /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/README.md -------------------------------------------------------------------------------- /leanpkg.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/leanpkg.toml -------------------------------------------------------------------------------- /scripts/build_new_files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/build_new_files.sh -------------------------------------------------------------------------------- /scripts/detect_errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/detect_errors.py -------------------------------------------------------------------------------- /scripts/fetch_olean_cache.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/fetch_olean_cache.sh -------------------------------------------------------------------------------- /scripts/lint-style.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/lint-style.py -------------------------------------------------------------------------------- /scripts/lint-style.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/lint-style.sh -------------------------------------------------------------------------------- /scripts/port_mathlib_imo_problems.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/port_mathlib_imo_problems.py -------------------------------------------------------------------------------- /scripts/port_minif2f.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/port_minif2f.py -------------------------------------------------------------------------------- /scripts/update_mathlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/scripts/update_mathlib.py -------------------------------------------------------------------------------- /src/mathzoo/imports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/imports/README.md -------------------------------------------------------------------------------- /src/mathzoo/imports/miniF2F.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/imports/miniF2F.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/README.md -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/2complexrootspoly_xsqp49eqxp7itxpn7i.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/2complexrootspoly_xsqp49eqxp7itxpn7i.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/2rootsintpoly_am10tap11eqasqpam110.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/2rootsintpoly_am10tap11eqasqpam110.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/2rootspoly_apatapbeq2asqp2ab.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/2rootspoly_apatapbeq2asqp2ab.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/2varlineareq_fp3zeq11_3tfm1m5zeqn68_feqn10_zeq7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/2varlineareq_fp3zeq11_3tfm1m5zeqn68_feqn10_zeq7.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/2varlineareq_xpeeq7_2xpeeq3_eeq11_xeqn4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/2varlineareq_xpeeq7_2xpeeq3_eeq11_xeqn4.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/3rootspoly_amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/3rootspoly_amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/9onxpypzleqsum2onxpy.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/9onxpypzleqsum2onxpy.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/abpbcpcageq3_sumaonsqrtapbgeq3onsqrt2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/abpbcpcageq3_sumaonsqrtapbgeq3onsqrt2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/absapbon1pabsapbleqsumabsaon1pabsa.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/absapbon1pabsapbleqsumabsaon1pabsa.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/absxm1pabsxpabsxp1eqxp2_0leqxleq1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/absxm1pabsxpabsxp1eqxp2_0leqxleq1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_faxinrrp2msqrt2geq2mxm1div2x.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_faxinrrp2msqrt2geq2mxm1div2x.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_prod1toneq1_sum1tongeqn.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_prod1toneq1_sum1tongeqn.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_sqrtxymulxmyeqxpy_xpygeq4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_sqrtxymulxmyeqxpy_xpygeq4.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_sum1toneqn_prod1tonleq1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_sum1toneqn_prod1tonleq1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_sumasqdivbgeqsuma.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_sumasqdivbgeqsuma.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/amgm_sumasqdivbsqgeqsumbdiva.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/amgm_sumasqdivbsqgeqsumbdiva.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/apb4leq8ta4pb4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/apb4leq8ta4pb4.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/apbmpcneq0_aeq0anbeq0anceq0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/apbmpcneq0_aeq0anbeq0anceq0.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/apbon2pownleqapownpbpowon2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/apbon2pownleqapownpbpowon2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/apbpceq2_abpbcpcaeq1_aleq1on3anbleq1ancleq4on3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/apbpceq2_abpbcpcaeq1_aleq1on3anbleq1ancleq4on3.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/binomnegdiscrineq_10alt28asqp1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/binomnegdiscrineq_10alt28asqp1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/bleqa_apbon2msqrtableqambsqon8b.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/bleqa_apbon2msqrtableqambsqon8b.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/cubrtrp1oncubrtreq3_rcubp1onrcubeq5778.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/cubrtrp1oncubrtreq3_rcubp1onrcubeq5778.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/ineq_nto1onlt2m1on.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/ineq_nto1onlt2m1on.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/manipexpr_2erprsqpesqeqnrpnesq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/manipexpr_2erprsqpesqeqnrpnesq.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/manipexpr_apbeq2cceqiacpbceqm2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/manipexpr_apbeq2cceqiacpbceqm2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/others_exirrpowirrrat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/others_exirrpowirrrat.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_2at2pclta2c2p41pc.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_2at2pclta2c2p41pc.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_2unitcircatblt1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_2unitcircatblt1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_36azm9asqle36zsq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_36azm9asqle36zsq.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_4bap1lt4bsqpap1sq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_4bap1lt4bsqpap1sq.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_at2malt1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_at2malt1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_unitcircatbpabsamblt1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_unitcircatbpabsamblt1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sqineq_unitcircatbpamblt1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sqineq_unitcircatbpamblt1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/sum1onsqrt2to1onsqrt10000lt198.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/sum1onsqrt2to1onsqrt10000lt198.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/algebra/xmysqpymzsqpzmxsqeqxyz_xpypzp6dvdx3y3z3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/algebra/xmysqpymzsqpzmxsqeqxyz_xpypzp6dvdx3y3z3.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/11div10tonmn1ton.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/11div10tonmn1ton.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/12dvd4expnp1p20.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/12dvd4expnp1p20.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/1pxpownlt1pnx.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/1pxpownlt1pnx.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/divisibility_3div2tooddnp1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/divisibility_3div2tooddnp1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/divisibility_3divnto3m2n.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/divisibility_3divnto3m2n.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/divisibility_9div10tonm1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/divisibility_9div10tonm1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/ineq_nsqlefactn.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/ineq_nsqlefactn.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/nfactltnexpnm1ngt3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/nfactltnexpnm1ngt3.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/pord1p1on2powklt5on2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/pord1p1on2powklt5on2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/pprime_pdvdapowpma.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/pprime_pdvdapowpma.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/prod1p1onk3le3m1onn.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/prod1p1onk3le3m1onn.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/seq_mul2pnp1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/seq_mul2pnp1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/sum2kp1npqsqm1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/sum2kp1npqsqm1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/sum_1oktkp1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/sum_1oktkp1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/sum_odd.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/sum_odd.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/induction/sumkexp3eqsumksq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/induction/sumkexp3eqsumksq.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/2dvd4expn.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/2dvd4expn.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/2pownm1prime_nprime.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/2pownm1prime_nprime.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/3pow2pownm1mod2pownp3eq2pownp2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/3pow2pownm1mod2pownp3eq2pownp2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/4x3m7y3neq2003.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/4x3m7y3neq2003.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/aneqprodakp4_anmsqrtanp1eq2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/aneqprodakp4_anmsqrtanp1eq2.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/aoddbdiv4asqpbsqmod8eq1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/aoddbdiv4asqpbsqmod8eq1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/exk2powkeqapb2mulbpa2_aeq1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/exk2powkeqapb2mulbpa2_aeq1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/fxeq4powxp6powxp9powx_f2powmdvdf2pown.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/fxeq4powxp6powxp9powx_f2powmdvdf2pown.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/nckeqnm1ckpnm1ckm1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/nckeqnm1ckpnm1ckm1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/notequiv2i2jasqbsqdiv8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/notequiv2i2jasqbsqdiv8.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/prmdvsneqnsqmodpeq0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/prmdvsneqnsqmodpeq0.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/sqmod3in01d.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/sqmod3in01d.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/sqmod4in01d.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/sqmod4in01d.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/sumkmulnckeqnmul2pownm1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/sumkmulnckeqnmul2pownm1.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/x5neqy2p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/x5neqy2p4.lean -------------------------------------------------------------------------------- /src/mathzoo/misc/miniF2F/numbertheory/xsqpysqintdenomeq.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/misc/miniF2F/numbertheory/xsqpysqintdenomeq.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/README.md -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1983/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1983/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1983/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1983/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1983/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1983/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1983/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1983/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1984/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1984/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1984/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1984/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1984/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1984/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1984/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1984/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1987/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1987/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1987/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1987/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1988/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1988/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1988/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1988/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1988/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1988/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1989/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1989/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1990/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1990/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1990/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1990/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1990/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1990/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1991/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1991/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1991/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1991/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1991/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1991/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1994/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1994/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1994/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1994/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1995/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1995/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1996/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1996/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1997/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1997/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1997/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1997/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/1999/p11.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/1999/p11.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/2000/i/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/2000/i/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/2001/i/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/2001/i/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/2020/ii/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/2020/ii/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/aime/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/aime/README.md -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/10/2021/b/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/10/2021/b/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p11.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p11.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p20.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p20.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2000/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2000/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2001/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2001/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2001/p21.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2001/p21.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2001/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2001/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2001/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2001/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/a/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/a/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/a/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/a/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/a/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/a/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/a/p21.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/a/p21.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/a/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/a/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p11.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p11.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p19.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p19.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2002/b/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2002/b/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/a/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/a/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/a/p23.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/a/p23.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/a/p24.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/a/p24.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/a/p25.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/a/p25.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/a/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/a/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/b/p17.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/b/p17.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/b/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/b/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2003/b/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2003/b/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2004/b/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2004/b/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2008/a/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2008/a/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2008/a/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2008/a/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2008/a/p25.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2008/a/p25.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2008/a/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2008/a/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2008/a/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2008/a/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p25.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p25.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2009/a/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2009/a/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2010/a/p10.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2010/a/p10.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2010/a/p11.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2010/a/p11.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2010/a/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2010/a/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2011/a/p18.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2011/a/p18.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2013/a/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2013/a/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2013/a/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2013/a/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2013/a/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2013/a/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2015/a/p10.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2015/a/p10.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2016/a/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2016/a/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2016/a/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2016/a/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2017/a/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2017/a/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2017/a/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2017/a/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2019/a/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2019/a/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2019/a/p21.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2019/a/p21.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2019/a/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2019/a/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p10.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p10.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p25.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p25.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/a/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/a/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p21.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p21.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2020/b/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2020/b/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p14.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p14.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p18.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p18.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p19.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p19.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p25.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p25.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p8.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/a/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/a/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p18.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p18.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p21.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p21.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/12/2021/b/p9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/12/2021/b/p9.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/8/2020/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/8/2020/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/8/2020/p23.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/8/2020/p23.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/8/2020/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/8/2020/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/8/2020/p7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/8/2020/p7.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/amc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/amc/README.md -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1959/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1959/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1960/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1960/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1960/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1960/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1961/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1961/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1962/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1962/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1962/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1962/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1962/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1962/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1963/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1963/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1964/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1964/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1964/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1964/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1965/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1965/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1965/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1965/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1966/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1966/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1966/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1966/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1967/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1967/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1968/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1968/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1969/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1969/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1969/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1969/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1972/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1972/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1972/p5_alt1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1972/p5_alt1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1973/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1973/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1974/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1974/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1974/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1974/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1977/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1977/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1977/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1977/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1978/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1978/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1979/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1979/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1981/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1981/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1981/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1981/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1982/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1982/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1983/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1983/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1984/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1984/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1984/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1984/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1985/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1985/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1987/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1987/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1987/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1987/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1987/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1987/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1988/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1988/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1990/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1990/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1992/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1992/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1993/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1993/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1994/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1994/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1997/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1997/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/1998/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/1998/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2001/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2001/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2001/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2001/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2005/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2005/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2005/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2005/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2006/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2006/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2006/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2006/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2007/p6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2007/p6.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2008/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2008/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2008/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2008/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2008/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2008/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2011/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2011/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2011/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2011/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2013/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2013/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2013/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2013/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2019/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2019/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2019/p4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2019/p4.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2020/p2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2020/p2.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/2021/p1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/2021/p1.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/imo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/imo/README.md -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/README.md -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p10.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p10.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p101.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p101.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p104.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p104.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p107.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p107.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p109.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p109.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p11.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p11.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p110.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p110.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p113.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p113.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p114.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p114.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p116.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p116.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p119.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p119.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p123.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p123.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p125.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p125.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p126.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p126.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p129.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p129.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p131.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p131.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p132.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p132.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p137.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p137.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p139.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p139.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p140.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p140.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p141.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p141.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p142.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p142.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p143.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p143.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p144.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p144.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p148.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p148.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p149.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p149.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p15.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p15.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p151.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p151.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p153.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p153.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p156.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p156.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p158.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p158.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p159.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p159.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p160.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p160.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p17.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p17.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p170.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p170.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p171.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p171.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p176.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p176.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p181.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p181.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p182.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p182.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p184.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p184.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p185.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p185.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p188.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p188.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p190.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p190.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p192.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p192.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p196.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p196.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p206.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p206.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p208.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p208.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p209.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p209.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p214.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p214.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p215.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p215.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p224.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p224.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p234.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p234.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p24.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p24.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p245.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p245.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p246.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p246.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p247.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p247.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p251.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p251.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p263.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p263.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p267.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p267.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p270.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p270.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p275.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p275.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p276.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p276.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p28.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p28.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p282.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p282.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p288.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p288.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p289.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p289.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p293.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p293.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p296.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p296.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p302.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p302.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p304.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p304.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p31.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p31.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p313.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p313.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p314.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p314.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p320.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p320.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p323.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p323.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p327.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p327.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p329.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p329.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p33.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p33.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p332.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p332.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p338.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p338.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p342.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p342.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p346.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p346.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p35.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p35.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p354.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p354.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p359.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p359.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p362.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p362.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p37.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p37.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p388.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p388.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p392.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p392.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p393.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p393.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p398.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p398.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p400.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p400.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p405.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p405.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p410.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p410.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p412.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p412.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p419.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p419.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p421.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p421.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p422.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p422.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p427.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p427.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p43.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p43.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p432.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p432.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p433.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p433.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p437.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p437.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p44.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p44.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p440.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p440.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p441.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p441.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p451.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p451.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p452.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p452.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p455.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p455.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p459.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p459.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p462.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p462.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p478.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p478.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p48.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p48.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p480.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p480.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p482.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p482.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p484.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p484.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p487.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p487.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p493.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p493.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p509.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p509.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p51.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p51.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p510.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p510.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p513.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p513.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p536.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p536.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p547.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p547.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p55.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p55.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p568.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p568.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p59.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p59.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p598.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p598.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p616.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p616.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p67.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p67.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p69.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p69.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p73.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p73.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p756.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p756.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p76.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p76.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p77.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p77.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p80.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p80.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p89.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p89.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/algebra/p96.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/algebra/p96.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p100.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p100.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p101.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p101.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p102.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p102.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p109.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p109.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p110.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p110.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p1124.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p1124.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p12.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p126.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p126.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p127.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p127.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p13.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p13.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p132.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p132.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p135.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p135.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p136.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p136.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p149.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p149.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p150.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p150.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p155.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p155.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p156.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p156.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p169.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p169.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p175.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p175.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p185.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p185.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p188.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p188.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p198.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p198.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p200.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p200.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p202.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p202.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p207.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p207.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p211.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p211.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p212.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p212.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p22.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p22.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p221.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p221.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p222.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p222.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p227.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p227.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p229.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p229.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p232.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p232.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p233.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p233.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p234.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p234.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p235.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p235.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p236.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p236.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p237.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p237.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p239.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p239.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p24.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p24.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p247.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p247.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p252.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p252.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p254.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p254.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p257.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p257.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p269.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p269.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p277.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p277.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p284.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p284.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p293.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p293.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p296.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p296.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p299.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p299.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p3.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p30.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p30.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p301.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p301.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p303.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p303.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p314.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p314.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p32.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p32.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p320.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p320.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p321.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p321.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p326.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p326.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p328.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p328.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p33.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p33.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p335.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p335.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p34.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p34.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p341.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p341.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p342.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p342.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p343.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p343.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p345.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p345.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p35.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p35.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p353.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p353.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p37.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p37.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p370.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p370.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p403.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p403.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p405.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p405.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p412.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p412.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p42.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p42.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p427.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p427.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p43.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p43.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p430.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p430.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p435.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p435.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p447.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p447.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p45.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p45.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p451.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p451.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p457.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p457.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p458.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p458.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p461.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p461.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p466.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p466.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p48.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p48.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p483.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p483.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p495.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p495.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p5.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p517.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p517.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p521.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p521.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p530.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p530.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p541.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p541.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p543.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p543.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p551.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p551.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p552.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p552.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p559.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p559.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p582.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p582.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p618.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p618.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p629.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p629.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p64.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p64.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p640.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p640.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p66.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p66.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p668.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p668.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p690.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p690.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p709.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p709.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p711.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p711.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p728.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p728.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p739.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p739.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p764.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p764.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p765.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p765.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p769.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p769.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p780.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p780.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p81.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p81.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p84.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p84.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p85.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p85.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p92.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p92.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p961.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p961.lean -------------------------------------------------------------------------------- /src/mathzoo/olympiads/mathd/numbertheory/p99.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover-community/mathzoo/HEAD/src/mathzoo/olympiads/mathd/numbertheory/p99.lean --------------------------------------------------------------------------------