alias id "plus_lt_le_compat" = "cic:/Coq/Arith/Plus/plus_lt_le_compat.con".
alias id "plus_lt_compat" = "cic:/Coq/Arith/Plus/plus_lt_compat.con".
alias id "lt_S_n" = "cic:/Coq/Arith/Lt/lt_S_n.con".
alias id "plus_lt_le_compat" = "cic:/Coq/Arith/Plus/plus_lt_le_compat.con".
alias id "plus_lt_compat" = "cic:/Coq/Arith/Plus/plus_lt_compat.con".
alias id "lt_S_n" = "cic:/Coq/Arith/Lt/lt_S_n.con".