Theorem forall₃_true_iff

Modification history