Theorem 8.2.1. The functor factors through and induces an isomorphism of differential pointed categories .
Original source: arXiv:2009.09627v2
Theorem 8.2.1. The functor factors through and induces an isomorphism of differential pointed categories .
Original source: arXiv:2009.09627v2