feat(library/standard/logic): iff is refl, trans, and symm

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/standard): add Diaconescu's theorem

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>