created 0Trinitarianism.Quest5

2021-11-16 14:55:22 +00:00 · 2021-11-16 14:55:22 +00:00 · 5a8f86f6c9
commit 5a8f86f6c9
parent a2157edf1e
2 changed files with 3 additions and 0 deletions
--- a/0Trinitarianism/Quest5.agda
+++ b/0Trinitarianism/Quest5.agda
@ -0,0 +1,3 @@
+module 0Trinitarianism.Quest5 where
+
+open import 0Trinitarianism.Preambles.P5
--- a/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai
+++ b/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai