Theorem IsLocallyConstant.isOpen_fiber

Modification history