Final Pullback Complement Place #55
Description
The imminent insertion of the Final Pullback Complement function demands a correct module to be placed.
Current sugestions:
- AdhesiveHLR (theoretically wrong)
- FinitaryCategory
- A new module
{{ message }}
The imminent insertion of the Final Pullback Complement function demands a correct module to be placed.
Current sugestions: