Documentation

Foundation.Modal.Kripke.S5