Documentation
LeanUnits
.
Framework
.
SimpSets
Search
return to top
source
Imports
Init
Lean.Meta.Tactic.Simp.Attr
Imported by
Units
.
SimpDimensionSet
Units
.
SimpConvSet
Units
.
SimpUnitSet
Units
.
SimpBaseUnitSet
Units
.
SimpDerivedUnitSet
source
opaque
Units
.
SimpDimensionSet
:
Lean.Meta.SimpExtension
source
opaque
Units
.
SimpConvSet
:
Lean.Meta.SimpExtension
source
opaque
Units
.
SimpUnitSet
:
Lean.Meta.SimpExtension
source
opaque
Units
.
SimpBaseUnitSet
:
Lean.Meta.SimpExtension
source
opaque
Units
.
SimpDerivedUnitSet
:
Lean.Meta.SimpExtension