Theorem SSet.horn.const_val_apply

Modification history