Closed nilern closed 5 years ago
pi a b -> a = pi a -> pi b -> a and pi a b => a = pi a => pi b => a.
pi a b -> a
pi a -> pi b -> a
pi a b => a
pi a => pi b => a
pi a b -> a
=pi a -> pi b -> a
andpi a b => a
=pi a => pi b => a
.