mathlib
b7444b03 - Remove limits.lean which is superseded by limits_of_products_and_equalizers.lean (#2105)

Commit

6 years ago

Remove limits.lean which is superseded by limits_of_products_and_equalizers.lean (#2105) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Author

TwoFX

Parents

d53bbb6e

mathlib b7444b03 - Remove limits.lean which is superseded by limits_of_products_and_equalizers.lean (#2105)

mathlib
b7444b03 - Remove limits.lean which is superseded by limits_of_products_and_equalizers.lean (#2105)