Theorem forall_prop_congr'

Modification history