Theorem IsLocallyConstant.exists_open

Modification history