isabelle t-poses for dominance : r/Isabelle_Mains