Def adjoin_root.quot_map_of_equiv

Modification history