gravminne

gravminne po polsku

1. znak końca dowodu

   (termin typograficzny) (matematyka, matematyczny) symbol stosowany przez matematyków do oznaczania końca dowodu