Theorem IsLocallyConstant.iff_isOpen_fiber

Modification history