Constant DblProducts

pub const DblProducts: ();

Reference: Products in double categories, revisited.

Evan Patterson, 2024: Products in double categories, revisited.

• arXiv:2401.08990