Is cantor_pseudoMetric necessary? #1099
Description
Line 40 in c518e2a
cantor.v compiles fine without (last Qed and closing the last section are slow though).
{{ message }}
Is
cantor_pseudoMetric necessary? #1099Line 40 in c518e2a
cantor.v compiles fine without (last Qed and closing the last section are slow though).