Theorem Dfinsupp.liftAddHom_apply_single

Modification history