Bogomolov conjecture (source code)

= Bogomolov conjecture
{wiki=Bogomolov_conjecture}