Function prop::modal::nec_consistency

source ·
pub fn nec_consistency() -> Nec<Not<Nec<False>>>
Expand description

□¬□⊥.