Theorem SupHom.ext

Modification history