Theorem Rel.comp_right_bot

Modification history