0461132人目の素数さん垢版 | 大砲2018/02/23(金) 17:08:29.56ID:rb9HBDnc >>459 この形式の証明図の変形を記述する記法です 仮定を結論の前提に組み入れることを表してる