recognition / Education / Education.MasteryDesignFromJCost / masteryDesignCert

def

`masteryDesignCert`

definition

show as: view math explainer →

module: IndisputableMonolith.Education.MasteryDesignFromJCost
domain: Education
line: 25 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Education.MasteryDesignFromJCost on GitHub at line 25.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

depends on

used by

masteryDesignCert IndisputableMonolith.Education.MasteryDesignFromGap45

formal source

  22structure MasteryDesignCert where
  23  base : CanonicalCert
  24
  25def masteryDesignCert : MasteryDesignCert where
  26  base := cert
  27
  28end MasteryDesignFromJCost
  29end Education
  30end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.