Add stable category theory formalization #3734
Annotations
10 warnings
|
theories/Categories/Stable/OppositePreStable.v#L16
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/PreStableCategories.v#L15
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/OppositeCategories.v#L15
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/AdditiveCategories.v#L16
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/Biproducts.v#L21
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/ZeroMorphismLemmas.v#L213
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
theories/Categories/Stable/ZeroMorphismLemmas.v#L213
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
theories/Categories/Stable/ZeroMorphismLemmas.v#L17
Notation "_ / _" was already used in scope category_scope.
|
|
theories/Categories/Stable/ZeroObjects.v#L18
Notation "_ / _" was already used in scope category_scope.
|
|
test/Tactics/napply.v#L16
Could not enable unknown warning
|
The logs for this run have expired and are no longer available.
Loading