Theorem forall₂_true_iff

Modification history