include "basic_2A/multiple/lifts_lift.ma".
(* GENERIC RELOCATION *******************************************************)
(* Main properties **********************************************************)
include "basic_2A/multiple/lifts_lift.ma".
(* GENERIC RELOCATION *******************************************************)
(* Main properties **********************************************************)