Theorem LatticeHom.subtypeVal_apply

Modification history