val cicBrowser:
disambiguator:MatitaTypes.disambiguator ->
- currentProof:MatitaTypes.currentProof ->
unit ->
MatitaTypes.cicBrowser
val mathViewer:
disambiguator:MatitaTypes.disambiguator ->
- currentProof:MatitaTypes.currentProof ->
unit ->
MatitaTypes.mathViewer