OAI/Geometry/Convex/GeneralMahler/Middle/
5059 declarations, 0 contain sorry, 0 declared as axioms; 83 files
Files
- Bound2.lean 19 declarations
- Cells.lean 15 declarations
- Features.lean 17 declarations
- Good.lean 2 declarations
- Identity.lean 5 declarations
- Poly.lean 21 declarations
- Prefix.lean 20 declarations
- Ratio.lean 2 declarations
- Rfalse0.lean 63 declarations
- Rfalse1.lean 63 declarations
- Rfalse10.lean 63 declarations
- Rfalse11.lean 63 declarations
- Rfalse12.lean 63 declarations
- Rfalse13.lean 63 declarations
- Rfalse14.lean 63 declarations
- Rfalse15.lean 63 declarations
- Rfalse16.lean 63 declarations
- Rfalse17.lean 63 declarations
- Rfalse18.lean 63 declarations
- Rfalse19.lean 63 declarations
- Rfalse2.lean 63 declarations
- Rfalse20.lean 63 declarations
- Rfalse21.lean 63 declarations
- Rfalse22.lean 63 declarations
- Rfalse23.lean 63 declarations
- Rfalse24.lean 63 declarations
- Rfalse25.lean 63 declarations
- Rfalse26.lean 63 declarations
- Rfalse27.lean 63 declarations
- Rfalse28.lean 63 declarations
- Rfalse29.lean 63 declarations
- Rfalse3.lean 63 declarations
- Rfalse30.lean 63 declarations
- Rfalse31.lean 63 declarations
- Rfalse32.lean 63 declarations
- Rfalse33.lean 63 declarations
- Rfalse34.lean 63 declarations
- Rfalse4.lean 63 declarations
- Rfalse5.lean 63 declarations
- Rfalse6.lean 63 declarations
- Rfalse7.lean 63 declarations
- Rfalse8.lean 63 declarations
- Rfalse9.lean 63 declarations
- Rtrue0.lean 63 declarations
- Rtrue1.lean 63 declarations
- Rtrue10.lean 63 declarations
- Rtrue11.lean 63 declarations
- Rtrue12.lean 63 declarations
- Rtrue13.lean 63 declarations
- Rtrue14.lean 63 declarations
- Rtrue15.lean 63 declarations
- Rtrue16.lean 63 declarations
- Rtrue17.lean 63 declarations
- Rtrue18.lean 63 declarations
- Rtrue19.lean 63 declarations
- Rtrue2.lean 63 declarations
- Rtrue20.lean 63 declarations
- Rtrue21.lean 63 declarations
- Rtrue22.lean 63 declarations
- Rtrue23.lean 63 declarations
- Rtrue24.lean 63 declarations
- Rtrue25.lean 63 declarations
- Rtrue26.lean 63 declarations
- Rtrue27.lean 63 declarations
- Rtrue28.lean 63 declarations
- Rtrue29.lean 63 declarations
- Rtrue3.lean 63 declarations
- Rtrue30.lean 63 declarations
- Rtrue31.lean 63 declarations
- Rtrue32.lean 63 declarations
- Rtrue33.lean 63 declarations
- Rtrue34.lean 63 declarations
- Rtrue4.lean 63 declarations
- Rtrue5.lean 63 declarations
- Rtrue6.lean 63 declarations
- Rtrue7.lean 63 declarations
- Rtrue8.lean 63 declarations
- Rtrue9.lean 63 declarations
- Tab.lean 379 declarations
- Tiles.lean 10 declarations
- Trap.lean 14 declarations
- Traversal.lean 17 declarations
- Verified.lean 128 declarations