Compfiles.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 520 imports below, so a file that imports it gets all of them.
Imports
- Compfiles.Bulgaria1998P1
- Compfiles.Bulgaria1998P2
- Compfiles.Bulgaria1998P3
- Compfiles.Bulgaria1998P6
- Compfiles.Bulgaria1998P8
- Compfiles.Bulgaria1998P11
- Compfiles.CIIM2022P6
- Compfiles.Canada1998P3
- Compfiles.Canada1998P5
- Compfiles.Egmo2023P1
- Compfiles.Hungary1998P6
- Compfiles.Imo1959P1
- Compfiles.Imo1959P2
- Compfiles.Imo1959P3
- Compfiles.Imo1960P1
- Compfiles.Imo1960P2
- Compfiles.Imo1961P1
- Compfiles.Imo1961P2
- Compfiles.Imo1961P3
- Compfiles.Imo1962P1
- Compfiles.Imo1962P2
- Compfiles.Imo1962P4
- Compfiles.Imo1963P1
- Compfiles.Imo1963P4
- Compfiles.Imo1963P5
- Compfiles.Imo1963P6
- Compfiles.Imo1964P1
- Compfiles.Imo1964P2
- Compfiles.Imo1964P4
- Compfiles.Imo1965P1
- Compfiles.Imo1965P2
- Compfiles.Imo1965P4
- Compfiles.Imo1966P1
- Compfiles.Imo1966P4
- Compfiles.Imo1966P5
- Compfiles.Imo1967P3
- Compfiles.Imo1967P5
- Compfiles.Imo1967P6
- Compfiles.Imo1968P2
- Compfiles.Imo1968P3
- Compfiles.Imo1968P5
- Compfiles.Imo1968P6
- Compfiles.Imo1969P1
- Compfiles.Imo1969P2
- Compfiles.Imo1969P6
- Compfiles.Imo1970P2
- Compfiles.Imo1970P3
- Compfiles.Imo1970P4
- Compfiles.Imo1970P6
- Compfiles.Imo1971P1
- Compfiles.Imo1971P3
- Compfiles.Imo1971P5
- Compfiles.Imo1971P6
- Compfiles.Imo1972P1
- Compfiles.Imo1972P3
- Compfiles.Imo1972P4
- Compfiles.Imo1972P5
- Compfiles.Imo1973P3
- Compfiles.Imo1973P5
- Compfiles.Imo1973P6
- Compfiles.Imo1974P1
- Compfiles.Imo1974P3
- Compfiles.Imo1974P4
- Compfiles.Imo1974P5
- Compfiles.Imo1974P6
- Compfiles.Imo1975P1
- Compfiles.Imo1975P2
- Compfiles.Imo1975P4
- Compfiles.Imo1975P5
- Compfiles.Imo1975P6
- Compfiles.Imo1976P2
- Compfiles.Imo1976P3
- Compfiles.Imo1976P4
- Compfiles.Imo1976P5
- Compfiles.Imo1976P6
- Compfiles.Imo1977P2
- Compfiles.Imo1977P3
- Compfiles.Imo1977P4
- Compfiles.Imo1977P5
- Compfiles.Imo1977P6
- Compfiles.Imo1978P1
- Compfiles.Imo1978P3
- Compfiles.Imo1978P5
- Compfiles.Imo1978P6
- Compfiles.Imo1979P1
- Compfiles.Imo1979P2
- Compfiles.Imo1979P5
- Compfiles.Imo1979P6
- Compfiles.Imo1981P2
- Compfiles.Imo1981P3
- Compfiles.Imo1981P4
- Compfiles.Imo1981P6
- Compfiles.Imo1982P1
- Compfiles.Imo1982P3
- Compfiles.Imo1982P4
- Compfiles.Imo1983P1
- Compfiles.Imo1983P3
- Compfiles.Imo1983P5
- Compfiles.Imo1983P6
- Compfiles.Imo1984P1
- Compfiles.Imo1984P2
- Compfiles.Imo1984P3
- Compfiles.Imo1984P6
- Compfiles.Imo1985P2
- Compfiles.Imo1985P3
- Compfiles.Imo1985P4
- Compfiles.Imo1985P6
- Compfiles.Imo1986P1
- Compfiles.Imo1986P3
- Compfiles.Imo1986P5
- Compfiles.Imo1986P6
- Compfiles.Imo1987P1
- Compfiles.Imo1987P3
- Compfiles.Imo1987P4
- Compfiles.Imo1987P6
- Compfiles.Imo1988P2
- Compfiles.Imo1988P3
- Compfiles.Imo1988P4
- Compfiles.Imo1988P6
- Compfiles.Imo1989P1
- Compfiles.Imo1989P3
- Compfiles.Imo1989P5
- Compfiles.Imo1989P6
- Compfiles.Imo1990P2
- Compfiles.Imo1990P3
- Compfiles.Imo1990P4
- Compfiles.Imo1990P5
- Compfiles.Imo1991P2
- Compfiles.Imo1991P3
- Compfiles.Imo1991P4
- Compfiles.Imo1991P5
- Compfiles.Imo1991P6
- Compfiles.Imo1992P1
- Compfiles.Imo1992P2
- Compfiles.Imo1992P3
- Compfiles.Imo1992P5
- Compfiles.Imo1992P6
- Compfiles.Imo1993P1
- Compfiles.Imo1993P3
- Compfiles.Imo1993P5
- Compfiles.Imo1993P6
- Compfiles.Imo1994P1
- Compfiles.Imo1994P3
- Compfiles.Imo1994P4
- Compfiles.Imo1994P5
- Compfiles.Imo1994P6
- Compfiles.Imo1995P2
- Compfiles.Imo1995P4
- Compfiles.Imo1995P6
- Compfiles.Imo1996P1
- Compfiles.Imo1996P3
- Compfiles.Imo1996P4
- Compfiles.Imo1996P6
- Compfiles.Imo1997P3
- Compfiles.Imo1997P4
- Compfiles.Imo1997P5
- Compfiles.Imo1997P6
- Compfiles.Imo1998P2
- Compfiles.Imo1998P3
- Compfiles.Imo1998P4
- Compfiles.Imo1998P6
- Compfiles.Imo1999P2
- Compfiles.Imo1999P3
- Compfiles.Imo1999P4
- Compfiles.Imo1999P6
- Compfiles.Imo2000P2
- Compfiles.Imo2000P3
- Compfiles.Imo2000P4
- Compfiles.Imo2000P5
- Compfiles.Imo2001P1
- Compfiles.Imo2001P2
- Compfiles.Imo2001P3
- Compfiles.Imo2001P4
- Compfiles.Imo2001P5
- Compfiles.Imo2001P6
- Compfiles.Imo2002P1
- Compfiles.Imo2002P3
- Compfiles.Imo2002P4
- Compfiles.Imo2002P5
- Compfiles.Imo2003P1
- Compfiles.Imo2003P2
- Compfiles.Imo2003P5
- Compfiles.Imo2003P6
- Compfiles.Imo2004P2
- Compfiles.Imo2004P3
- Compfiles.Imo2004P4
- Compfiles.Imo2004P6
- Compfiles.Imo2005P2
- Compfiles.Imo2005P3
- Compfiles.Imo2005P4
- Compfiles.Imo2005P6
- Compfiles.Imo2006P3
- Compfiles.Imo2006P4
- Compfiles.Imo2006P5
- Compfiles.Imo2007P1
- Compfiles.Imo2007P3
- Compfiles.Imo2007P5
- Compfiles.Imo2007P6
- Compfiles.Imo2008P2
- Compfiles.Imo2008P3
- Compfiles.Imo2008P4
- Compfiles.Imo2008P5
- Compfiles.Imo2009P1
- Compfiles.Imo2009P3
- Compfiles.Imo2009P5
- Compfiles.Imo2009P6
- Compfiles.Imo2010P1
- Compfiles.Imo2010P3
- Compfiles.Imo2010P5
- Compfiles.Imo2010P6
- Compfiles.Imo2011P1
- Compfiles.Imo2011P3
- Compfiles.Imo2011P4
- Compfiles.Imo2011P5
- Compfiles.Imo2012P2
- Compfiles.Imo2012P3
- Compfiles.Imo2012P4
- Compfiles.Imo2012P5
- Compfiles.Imo2012P6
- Compfiles.Imo2013P1
- Compfiles.Imo2013P2
- Compfiles.Imo2013P5
- Compfiles.Imo2014P1
- Compfiles.Imo2014P2
- Compfiles.Imo2014P4
- Compfiles.Imo2014P5
- Compfiles.Imo2014P6
- Compfiles.Imo2015P2
- Compfiles.Imo2015P5
- Compfiles.Imo2015P6
- Compfiles.Imo2016P2
- Compfiles.Imo2016P4
- Compfiles.Imo2016P5
- Compfiles.Imo2017P1
- Compfiles.Imo2017P2
- Compfiles.Imo2017P3
- Compfiles.Imo2017P5
- Compfiles.Imo2017P6
- Compfiles.Imo2018P2
- Compfiles.Imo2018P3
- Compfiles.Imo2018P4
- Compfiles.Imo2018P5
- Compfiles.Imo2019P1
- Compfiles.Imo2019P2
- Compfiles.Imo2019P3
- Compfiles.Imo2019P4
- Compfiles.Imo2019P5
- Compfiles.Imo2020P2
- Compfiles.Imo2020P3
- Compfiles.Imo2020P4
- Compfiles.Imo2020P5
- Compfiles.Imo2020P6
- Compfiles.Imo2021P1
- Compfiles.Imo2021P2
- Compfiles.Imo2021P3
- Compfiles.Imo2021P5
- Compfiles.Imo2021P6
- Compfiles.Imo2022P1
- Compfiles.Imo2022P2
- Compfiles.Imo2022P3
- Compfiles.Imo2022P5
- Compfiles.Imo2022P6
- Compfiles.Imo2023P1
- Compfiles.Imo2023P2
- Compfiles.Imo2023P3
- Compfiles.Imo2023P4
- Compfiles.Imo2023P5
- Compfiles.Imo2023P6
- Compfiles.Imo2024P1
- Compfiles.Imo2024P2
- Compfiles.Imo2024P3
- Compfiles.Imo2024P5
- Compfiles.Imo2024P6
- Compfiles.Imo2025P1
- Compfiles.Imo2025P2
- Compfiles.Imo2025P3
- Compfiles.Imo2025P4
- Compfiles.Imo2025P5
- Compfiles.Imo2025P6
- Compfiles.Imo2026P1
- Compfiles.Imo2026P3
- Compfiles.Imo2026P4
- Compfiles.Imo2026P5
- Compfiles.Imo2026P6
- Compfiles.India1998P1
- Compfiles.IntegersInACircle
- Compfiles.Iran1998P3
- Compfiles.Iran1998P9
- Compfiles.KolmogorovStreams
- Compfiles.Poland1998P4
- Compfiles.Poland2016S1P8
- Compfiles.Romania1998P12
- Compfiles.Russia1995P10
- Compfiles.Russia1998P42
- Compfiles.Singapore2019P2
- Compfiles.Singapore2019P4
- Compfiles.Singapore2019P7
- Compfiles.Singapore2019P11
- Compfiles.UK2024R1P1
- Compfiles.UK2024R1P2
- Compfiles.UK2024R1P4
- Compfiles.UpperLowerContinuous
- Compfiles.Usa1972P1
- Compfiles.Usa1972P3
- Compfiles.Usa1972P4
- Compfiles.Usa1973P2
- Compfiles.Usa1973P4
- Compfiles.Usa1973P5
- Compfiles.Usa1974P1
- Compfiles.Usa1974P2
- Compfiles.Usa1974P4
- Compfiles.Usa1975P1
- Compfiles.Usa1975P3
- Compfiles.Usa1975P5
- Compfiles.Usa1976P1
- Compfiles.Usa1976P3
- Compfiles.Usa1976P5
- Compfiles.Usa1977P1
- Compfiles.Usa1977P3
- Compfiles.Usa1977P5
- Compfiles.Usa1978P1
- Compfiles.Usa1978P3
- Compfiles.Usa1978P5
- Compfiles.Usa1979P1
- Compfiles.Usa1979P3
- Compfiles.Usa1979P5
- Compfiles.Usa1980P1
- Compfiles.Usa1980P2
- Compfiles.Usa1980P3
- Compfiles.Usa1980P5
- Compfiles.Usa1981P2
- Compfiles.Usa1981P5
- Compfiles.Usa1982P1
- Compfiles.Usa1982P2
- Compfiles.Usa1982P4
- Compfiles.Usa1983P1
- Compfiles.Usa1983P2
- Compfiles.Usa1983P3
- Compfiles.Usa1983P5
- Compfiles.Usa1984P1
- Compfiles.Usa1984P2
- Compfiles.Usa1984P4
- Compfiles.Usa1984P5
- Compfiles.Usa1985P1
- Compfiles.Usa1985P2
- Compfiles.Usa1985P4
- Compfiles.Usa1985P5
- Compfiles.Usa1986P1
- Compfiles.Usa1986P2
- Compfiles.Usa1986P3
- Compfiles.Usa1986P5
- Compfiles.Usa1987P1
- Compfiles.Usa1987P3
- Compfiles.Usa1987P5
- Compfiles.Usa1988P1
- Compfiles.Usa1988P2
- Compfiles.Usa1988P3
- Compfiles.Usa1988P4
- Compfiles.Usa1988P5
- Compfiles.Usa1989P1
- Compfiles.Usa1989P2
- Compfiles.Usa1989P3
- Compfiles.Usa1989P5
- Compfiles.Usa1990P1
- Compfiles.Usa1990P2
- Compfiles.Usa1990P3
- Compfiles.Usa1990P4
- Compfiles.Usa1991P2
- Compfiles.Usa1991P3
- Compfiles.Usa1991P4
- Compfiles.Usa1992P1
- Compfiles.Usa1992P2
- Compfiles.Usa1992P3
- Compfiles.Usa1992P5
- Compfiles.Usa1993P1
- Compfiles.Usa1993P3
- Compfiles.Usa1993P4
- Compfiles.Usa1993P5
- Compfiles.Usa1994P1
- Compfiles.Usa1994P2
- Compfiles.Usa1994P4
- Compfiles.Usa1994P5
- Compfiles.Usa1995P1
- Compfiles.Usa1995P2
- Compfiles.Usa1995P4
- Compfiles.Usa1995P5
- Compfiles.Usa1996P1
- Compfiles.Usa1996P2
- Compfiles.Usa1996P4
- Compfiles.Usa1996P6
- Compfiles.Usa1997P1
- Compfiles.Usa1997P3
- Compfiles.Usa1997P5
- Compfiles.Usa1997P6
- Compfiles.Usa1998P1
- Compfiles.Usa1998P3
- Compfiles.Usa1998P4
- Compfiles.Usa1998P5
- Compfiles.Usa1999P1
- Compfiles.Usa1999P3
- Compfiles.Usa1999P4
- Compfiles.Usa1999P5
- Compfiles.Usa2000P1
- Compfiles.Usa2000P3
- Compfiles.Usa2000P4
- Compfiles.Usa2000P5
- Compfiles.Usa2000P6
- Compfiles.Usa2001P1
- Compfiles.Usa2001P3
- Compfiles.Usa2001P4
- Compfiles.Usa2001P5
- Compfiles.Usa2002P1
- Compfiles.Usa2002P3
- Compfiles.Usa2002P4
- Compfiles.Usa2002P5
- Compfiles.Usa2002P6
- Compfiles.Usa2003P1
- Compfiles.Usa2003P3
- Compfiles.Usa2003P5
- Compfiles.Usa2003P6
- Compfiles.Usa2004P2
- Compfiles.Usa2004P4
- Compfiles.Usa2004P5
- Compfiles.Usa2005P1
- Compfiles.Usa2005P2
- Compfiles.Usa2005P4
- Compfiles.Usa2005P6
- Compfiles.Usa2006P1
- Compfiles.Usa2006P2
- Compfiles.Usa2006P3
- Compfiles.Usa2006P4
- Compfiles.Usa2006P5
- Compfiles.Usa2007P1
- Compfiles.Usa2007P3
- Compfiles.Usa2007P4
- Compfiles.Usa2007P5
- Compfiles.Usa2008P1
- Compfiles.Usa2008P3
- Compfiles.Usa2008P5
- Compfiles.Usa2008P6
- Compfiles.Usa2009P2
- Compfiles.Usa2009P4
- Compfiles.Usa2009P6
- Compfiles.Usa2010P2
- Compfiles.Usa2010P3
- Compfiles.Usa2010P5
- Compfiles.Usa2010P6
- Compfiles.Usa2011P1
- Compfiles.Usa2011P2
- Compfiles.Usa2011P4
- Compfiles.Usa2011P6
- Compfiles.Usa2012P1
- Compfiles.Usa2012P2
- Compfiles.Usa2012P3
- Compfiles.Usa2012P4
- Compfiles.Usa2012P6
- Compfiles.Usa2013P2
- Compfiles.Usa2013P3
- Compfiles.Usa2013P4
- Compfiles.Usa2013P5
- Compfiles.Usa2014P1
- Compfiles.Usa2014P2
- Compfiles.Usa2014P3
- Compfiles.Usa2014P4
- Compfiles.Usa2014P6
- Compfiles.Usa2015P1
- Compfiles.Usa2015P3
- Compfiles.Usa2015P4
- Compfiles.Usa2015P5
- Compfiles.Usa2015P6
- Compfiles.Usa2016P1
- Compfiles.Usa2016P2
- Compfiles.Usa2016P4
- Compfiles.Usa2016P6
- Compfiles.Usa2017P1
- Compfiles.Usa2017P2
- Compfiles.Usa2017P4
- Compfiles.Usa2017P5
- Compfiles.Usa2017P6
- Compfiles.Usa2018P1
- Compfiles.Usa2018P2
- Compfiles.Usa2018P3
- Compfiles.Usa2018P4
- Compfiles.Usa2018P6
- Compfiles.Usa2019P1
- Compfiles.Usa2019P3
- Compfiles.Usa2019P4
- Compfiles.Usa2019P5
- Compfiles.Usa2019P6
- Compfiles.Usa2020P2
- Compfiles.Usa2020P3
- Compfiles.Usa2020P4
- Compfiles.Usa2020P5
- Compfiles.Usa2020P6
- Compfiles.Usa2021P2
- Compfiles.Usa2021P3
- Compfiles.Usa2021P4
- Compfiles.Usa2021P5
- Compfiles.Usa2022P1
- Compfiles.Usa2022P3
- Compfiles.Usa2022P4
- Compfiles.Usa2022P5
- Compfiles.Usa2022P6
- Compfiles.Usa2023P2
- Compfiles.Usa2023P4
- Compfiles.Usa2023P5
- Compfiles.Usa2024P1
- Compfiles.Usa2024P2
- Compfiles.Usa2024P4
- Compfiles.Usa2024P6
- Compfiles.Usa2025P1
- Compfiles.Usa2025P2
- Compfiles.Usa2025P4
- Compfiles.Usa2025P5
- Compfiles.Usa2025P6
- Compfiles.Usa2026P1
- Compfiles.Usa2026P2
- Compfiles.Usa2026P4
- Compfiles.Usa2026P6
- Compfiles.ZeroesOnesAndTwos