left lifting property

  1. REDIRECT Lifting property