Theorem exists_prop_of_false

Modification history