Theorem one_le_thickenedIndicator_apply

Modification history