Theorem LocallyConstant.coe_const

Modification history