Theorem LocallyConstant.exists_eq_const

Modification history