TRIVIALIZATIONS

Definition of TRIVIALIZATIONS