Common use of Proposition 4.12 Clause in Contracts

Proposition 4.12. Let Aαˆ = A, αˆ : TA → A be a T-algebra and AÐ ∈ D be such that V AÐ = A. The following are equivalent.