There was an error while loading. Please reload this page.
Welcome to the DGFS-BE-Solver wiki!
$k(T,T_v)=Z(T,T_v) k^0(T)$