Documentation

Foundation.Modal.Kripke.Kripke