mathlib
cb45da26 - feat(category_theory/limits): is_bilimit (#12108)
Commit
View On GitHub
Commit
4 years ago
feat(category_theory/limits): is_bilimit (#12108)
Author
TwoFX TwoFX
Parents
e16e093e
FAQ Terms Privacy Refunds Impressum
Loading