Theorem CompleteLatticeHom.setPreimage_comp

Modification history