mathlib
8b6901b6 - Revert "feat(category_theory/limits): is_bilimit"

Commit

3 years ago

Revert "feat(category_theory/limits): is_bilimit" This reverts commit 8edfa75d79ad70c88dbae01ab6166dd8b1fd2ba0.

Author

TwoFX

Parents