add general lemmas relating fold and add #28
Annotations
4 warnings
build (coqorg/coq:8.18):
theories/Comparisons.v#L27
A coercion will be introduced instead of an instance in future
|
build (coqorg/coq:8.17):
theories/Comparisons.v#L27
A coercion will be introduced instead of an instance in future
|
build (coqorg/coq:8.19):
theories/Comparisons.v#L27
A coercion will be introduced instead of an instance in future
|
build (coqorg/coq:dev):
theories/Comparisons.v#L27
A coercion will be introduced instead of an instance in future
|