Theorem IsLocallyConstant.iff_isOpen_fiber_apply

Modification history