File:Rieger-Nishimura.svg

Original file ‎(SVG file, nominally 560 × 480 pixels, file size: 6 KB)

This file is from a shared repository and may be used by other projects. Please see the file description page for further information.

File history

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

	Date/Time	Thumbnail	Dimensions	User	Comment
current	14:08, 7 April 2008		560 × 480 (6 KB)	commons>EmilJ	{{Information \|Description=Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable \|Source=self-made \|Date=2008-04-06 \|Author= EmilJ \|Permission= \|

There are no pages that use 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.

Short title	Rieger-Nishimura lattice
Image title	Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable