Theorem forall₃_imp

Modification history