analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

shouldn't `set_mem` actually be `mem_set`?

Open affeldt-aist opened this issue 1 year ago • 0 comments

since the condition is a mem and the goal refers more explicitly to set?

https://github.com/math-comp/analysis/blob/899c14175215cd7f0942eae93321c23ea0a92d7e/classical/classical_sets.v#L514

affeldt-aist avatar Jul 25 '24 12:07 affeldt-aist