10 ms·
A => B ≠> A' => B'
by foobahhhhh 1y ago
A => B ≠> A' => B'
- BobaFloutist 1y agoA => B ≠> A' => B' ≠> A' ≠> B'
- foobahhhhh 1y agoYes that too ... in general of course. ∀ does the heavy lifting.
- BobaFloutist 1y agoI'm a big enough man to admit I'm I haven't seen that one in this semester's Discrete Math.