Theorem LatticeHom.subtypeVal_coe

Modification history