Theorem exists_prop_congr'

Modification history