User blog comment:Vel!/Call for math facts/@comment-5529393-20140730091316/@comment-80.98.179.160-20180108143744

So, let |> be a shorthand for "implies".

Then, V=L|>GCH|>axiom of choice.