toView

fun toView(p: Proposition, embedding: List<Float>? = null): PropositionView

Lean view: mentions only.