Theorem Fin.forall_iff

Modification history