Index of /~mptp/zz/heyting2

	Name	Last modified	Size	Description
	Parent Directory		-
	l2_heyting2.svg	2021-02-23 20:35	35K
	t3_heyting2.svg	2021-02-23 20:36	100K
	t7_heyting2.svg	2021-02-23 20:36	53K
	t17_heyting2.svg	2021-02-23 20:35	157K