Commit 2024-11-28 19:04 6262f69d

View on Github →

feat(Algebra/Category): Under.pushout f is left-exact if f is flat. (#19213)

Estimated changes