4 lines
78 B
Agda
4 lines
78 B
Agda
module 0Trinitarianism.Quest5 where
|
|
|
|
open import 0Trinitarianism.Preambles.P5
|
module 0Trinitarianism.Quest5 where
|
|
|
|
open import 0Trinitarianism.Preambles.P5
|