Theorem Algebra.comp_ofId

Modification history