Solved thms appears in the table with an expression missing. Which(04) Author Dalbo 10 Feb 2025 Save Image Image gallery: Which Expression Is Missing From The Proof