Def adjoin_one_adj

Modification history