Skip to content

Move limit diagrams to their own file#251

Merged
benediktahrens merged 1 commit intoUniMath:masterfrom arnoudvanderleer:limit-diagramsFeb 14, 2025

Commits

Commits on Jan 29, 2025