Theorem LocallyConstant.ofClopen_fiber_one

Modification history