[isabelle] Multiple equivalences
What is the right way to formulate in Isabelle a theorem which states that every two of 10 logical expressions are equivalent?
This is equivalent to 9 equivalences:
(1) <-> (2)
(1) <-> (10)
but that seems not the best way to formulate it.
What is the right way?
(The same for 10 equal (not necessarily logical) terms?)
Victor Porton - http://portonvictor.org
This archive was generated by a fusion of
Pipermail (Mailman edition) and