Theorem LocallyConstant.locallyConstant_eq_of_fiber_zero_eq

Modification history