Theorem exists_eq_right'

Modification history