ftml_viewer_components::components::proofs

Function subproof_title

Source 
pub fn subproof_title(orig: OriginalNode) -> impl IntoView