Dashboard/Common.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Imports (4)
Imported by 6 files
  1. structure Config line 11 source
  2. instance (instance at line 14) line 14 source
  3. abbrev SConfig line 17 source