ftml_viewer_components::components::proofs

Function proof_body

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