Theorem Pi.ker_ringHom

Modification history