The Leibniz PROP is a Crossed Presimplicial Algebra. - Murat Can Askarogullari; Atabey Kaygun (Appl. Categorical Struct., 2025)