ftml_viewer_components::components::proofs

Function proof_title

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