recognition / Education / Education.MasteryDesignFromJCost / MasteryDesignCert

structure

`MasteryDesignCert`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Education.MasteryDesignFromJCost on GitHub at line 22.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

depends on

used by

formal source

  19
  20open Common.CanonicalJBand
  21
  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.