Skip to content

Add functors between (co)cone categories#448

Merged
JacquesCarette merged 1 commit intoagda:masterfrom t-wissmann:cone-functorsJan 29, 2025

Commits

Commits on Jan 27, 2025