Documentation

Foundation.Modal.Hilbert.WeakerThan.KD4_KD45