Theorem one_le_thickenedIndicator_apply'

Modification history