Theorem AdicCompletion.tensor_map_id_left_injective_of_injective

Modification history