Theorem LocallyConstant.apply_eq_of_preconnectedSpace

Modification history