Theorem forall₂_congr

Modification history