Commit 2025-02-05 23:48 7b92cf75

View on Github →

refactor(CategoryTheory): ConcreteCategory instances for pointed types (#21470) Upgrade the HasForget instances on Pointed, Bipointed and TwoP to ConcreteCategory.

Estimated changes

deleted def Bipointed.of
deleted def Pointed.of
deleted def TwoP.of