ByNobleID
    Automated rewriting for higher categories and applications to quantum theory | NobleID