Closed affeldt-aist closed 7 months ago
for example, in the parameters of filter_prod in https://yoshihiro503.github.io/coq2html/mathcomp.analysis.topology.html spaces have been added after the opening parenthesis and the variable F there are several such spurious spaces here and there
filter_prod
F
for example, in the parameters of
filter_prod
in https://yoshihiro503.github.io/coq2html/mathcomp.analysis.topology.html spaces have been added after the opening parenthesis and the variableF
there are several such spurious spaces here and there