Theorem forall₂_imp

Modification history