Def adjoin_root.quot_map_of_equiv_quot_map_C_map_span_mk

Modification history