しょうめいおわり

証明終わり

表記・読み：しょうめいおわり

1. 1

   end of proof; QED

   名詞