Theorem Con.ker_rel

Modification history