Skip to content

Remove some redundancy in the proof for presup #70

Remove some redundancy in the proof for presup

Remove some redundancy in the proof for presup #70