Theorem Algebra.pushoutDesc_right

Modification history