LEFT SEMIDIRECT PRODUCT

Add a description of LEFT SEMIDIRECT PRODUCT