2 ms·
That doesn’t explain how all(f,{}) => some(f,{}) may be made true with your definition preserving the distributive property.
by LudwigNagasena 2y ago
That doesn’t explain how all(f,{}) => some(f,{}) may be made true with your definition preserving the distributive property.