added eq_iff_swap for creating symmetric variants of thms; applied it in List.
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE58ae06d382ee: proper support for arm64;
- Branches
- Unknown
- Tags
added eq_iff_swap for creating symmetric variants of thms; applied it in List. Tags None Subscribers None |