Sequent prover proof saving.png

Size of this preview: 800 × 349 pixels. Other resolution: 2,255 × 983 pixels.

Original file (2,255 × 983 pixels, file size: 142 KB, MIME type: image/png)

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	09:44, 1 January 2026		2,255 × 983 (142 KB)	Engels (talk \| contribs)

You cannot overwrite this file.

The following page uses this file:

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Unique ID of original document	xmp.did:7321b602-f24a-48bc-8adf-6eb2c7754f78
Software used	GIMP 2.10
Horizontal resolution	66.14 dpc
Vertical resolution	66.14 dpc
File change date and time	20:16, 31 December 2025