Revision history — Heyting algebra

1 revision, newest first.

When	Editor	Annotations	Comment
2026-06-10 01:12 UTC	system	64	orphan refresh import