Theorem Rel.core_mono

Modification history