list.v: avoid using mangled names
All threads resolved!
All threads resolved!
Compare changes
+ 7
− 7
@@ -752,13 +752,13 @@ Qed.
@@ -964,7 +964,7 @@ Section list_set.
@@ -1661,7 +1661,7 @@ Global Instance: ∀ x : A, Inj (≡ₚ) (≡ₚ) (x ::.).
@@ -2135,7 +2135,7 @@ Proof.
@@ -3707,7 +3707,7 @@ Section mapM.
@@ -4342,7 +4342,7 @@ Section positives_flatten_unflatten.