Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Isabelle
/
Archive-of-Formal-Proofs
/
thys
/
Groebner_Bases
/ (
Archive of formal Proofs
Version 2026-5
©
) Datei vom 29.4.2026 mit Größe 31 kB
Bilddatei
sc_insertendnote.png
products/Sources/formale Sprachen/C/LibreOffice/icon-themes/elementary/cmd/sc_insertendnote.png
�PNG IHDR ��a sBIT|d� pHYs � ��+ tEXtSoftware www.inkscape.org��< *IDAT8����NAE�ZJ��n_���"qT�@Փ`�X���P�5�RCp�&(�zeg/�nӡ-� n2���{g��d��5��0>��Y�ټ-� 2���u �2�� HZ�\��L�'WJ�(�?�$F�ѭ�������)�"�$ �@ia-��_�~�^��9��wF�~|C�Ӡ �jrqt�$Z�f��M�?������<��p�$:��j@dM^��`wgon-����W�w+��q��~)�0����4Mq����p��n����-尨sU�f�2�.վu� ���'�� IEND�B`�
2026-10-10