`IndisputableMonolith.Compat`

IndisputableMonolith/Compat.lean · 11 lines · 0 declarations

Explainer status: pending

   1import IndisputableMonolith.Compat.Mathlib
   2import IndisputableMonolith.Compat.Constants
   3import IndisputableMonolith.Compat.FunctionIterate
   4
   5/-!
   6Central compatibility imports for the project.
   7
   8Downstream modules can import this file to gain access to
   9compatibility shims and project-wide constants.
  10-/
  11

source mirrored from github.com/jonwashburn/shape-of-logic