Theorem AlgHom.mem_range_self

Modification history