hooo_nrimply
is too strong ((¬(b => a))^c => ¬(b^c => a^c)
)
#618
Labels
hooo_nrimply
is too strong ((¬(b => a))^c => ¬(b^c => a^c)
)
#618
The text was updated successfully, but these errors were encountered: