Add the downward monotonic cone to the cone catalogue #30200
Description
Depends on #30128
Depends on #30153
Depends on #32877
Component: geometry
Author: Michael Orlitzky
Branch/Commit: u/mjo/ticket/30200 @ 7268365
Issue created by migration from https://trac.sagemath.org/ticket/30200