Theorem LightCondMod.isDiscrete_tfae

Modification history