Basic

Statistics

Metric	Count
Definitions `ofFnBE`, `ofFnLE`, `ofFnLEAux`	3
Theorems	0
Total	3

Name	Category	Theorems
`ofFnBE` 📖	CompOp	11 math math: `getElem_ofFnBE`, `getMsbD_ofFnBE`, `getMsb_ofFnBE`, `toNat_ofFnBE`, `getLsb'_ofFnBE`, `getLsb_ofFnBE`, `toInt_ofFnBE`, `getMsb'_ofFnBE`, `msb_ofFnBE`, `getLsbD_ofFnBE`, `toFin_ofFnBE`
`ofFnLE` 📖	CompOp	11 math math: `toInt_ofFnLE`, `getLsbD_ofFnLE`, `getLsb'_ofFnLE`, `msb_ofFnLE`, `toNat_ofFnLE`, `getMsb'_ofFnLE`, `getElem_ofFnLE`, `getLsb_ofFnLE`, `toFin_ofFnLE`, `getMsb_ofFnLE`, `getMsbD_ofFnLE`
`ofFnLEAux` 📖	CompOp	3 math math: `toFin_ofFnLEAux`, `getElem_ofFnLEAux`, `toNat_ofFnLEAux`

---