Theorem SSet.horn_obj_zero

Modification history