Theorem piRightHom_one

Modification history