Theorem IsLocallyConstant.iff_exists_open

Modification history