Theorem Semigrp.comp_def

Modification history