Def adjoin_root.quot_map_C_map_span_mk_equiv_quot_map_C_quot_map_span_mk

Modification history