Function prop::modal::eq_nnpos_nnecn

source · 
pub fn eq_nnpos_nnecn<A: Prop>() -> Eq<NNPos<A>, Not<Nec<Not<A>>>>
Expand description

¬¬◇a == ¬□¬a.