When obtaining tactic samples for a theorem that was proven immediately, the target pi values are all zeros.
When obtaining tactic samples for a theorem that was proven immediately, the target pi values are all zeros.