Documentation

Foundation.Modal.Hilbert.GL_Independency

def LO.Modal.independency {α : Type u_1} (φ : Formula α) :
Equations
Instances For