Skip to content

bifunctor improvements#1925

Merged
Alizter merged 2 commits intoHoTT:masterfrom Alizter:bifunctor-improvementsApr 23, 2024

Commits

Commits on Apr 23, 2024