Documentation

Foundation.Modal.Hilbert.WeakerThan.KB5_S5