Theorem Algebra.range_ofId

Modification history