A lemma for microlocal sheaf theory in the $\infty$-categorical setting

Marco Robalo, Pierre Schapira

Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving c…