Theorem continuous_map.subsingleton_subalgebra
Modification history
2022-08-16 10:36
src/topology/continuous_function/algebra.lean
chore(*): restore `subsingleton` instances and remove hacks (#16046) …
Deleted continuous_map.subsingleton_subalgebraView on Github →