implication introduction

1. REDIRECT Conditional proof

{{R from alternate name}}