mathlib

37ffa4ee - refactor(topology.continuous_function.algebra): Loosen continuous_subsemiring hypothesis (#18790)

refactor(topology.continuous_function.algebra): Loosen continuous_subsemiring hypothesis (#18790) The current hypothesis of `continuous_subsemiring` and `continuous_submonoid` are unnecessarily restrictive.