Theorem LocallyConstant.map_apply

Modification history