Description: Obsolete version of iotaval as of 23-Dec-2024. (Contributed by Andrew Salmon, 11-Jul-2011) (Proof modification is discouraged.) (New usage is discouraged.)