How to achieve the effect of the next figure:
My trouble is that the commonly used package wrapfig seems that only "local picture" support is better
I don't want to use the "local picture" to insert and get this exchange diagram, it's drawn through TikZ's coding.
what should I do?
I also want to nest it into the theorem environment...
I am not able to complete this idea, so I can't provide code that I can run, just put on potentially useful fragments (copy from Placement of figures inside an ntheorem environment)
\documentclass[a4paper,11pt]{book}
\usepackage[margin=3.5cm]{geometry}
\usepackage{lipsum}
\usepackage[english]{babel}
\usepackage[pangram]{blindtext}
\usepackage{cutwin,graphicx,wrapfig}
\usepackage{ntheorem}
\usepackage[calc]{adjustbox}
\usepackage{amsmath,amssymb,mathtools,tikz,tikz-cd}
\newtheorem{theorem}{Theorem}
\opencutleft
\renewcommand\windowpagestuff{%% \rule{4cm}{3cm}
\includegraphics[width=0.8\linewidth]{example-image-b.png}
}
\pagestyle{empty}
\begin{document}
\opencutright
\renewcommand\windowpagestuff{% setup the image to be placed in the cutout
\centering
\includegraphics[width=0.80\linewidth]{example-image-b.png}
}
% cutout in adjustbox, cutout on the left
\begin{adjustbox}{valign=C,vspace=0bp,minipage={1.0\linewidth}}
\begin{theorem}
\begin{cutout}{2}{0.70\linewidth}{0pt}{6}
\Blindtext[1][12]
\end{cutout}
\end{theorem}
\end{adjustbox}
\[
\begin{tikzcd}
\tilde{H}_{n+1}(S^{n+1}) \arrow{r}{\partial}[swap]{\approx} \arrow{d}[swap]{Sf_*}
&\tilde{H}_n(S^n) \arrow{d}{f_*}\\
\tilde{H}_{n+1}(S^{n+1}) \arrow{r}{\partial}[swap]{\approx}
&\tilde{H}_n(S^n)
\end{tikzcd}
\]
\end{document}

