Revision history — Heyting algebra

2 revisions, newest first.

When	Editor	Annotations	Comment
2026-06-11 08:44 UTC	WikiLean Pipeline	64	id backfill	diff
2026-06-10 01:12 UTC	system	64	orphan refresh import