assert_not_exists

Stream: mathlib4

[Scott Morrison]

@Mario Carneiro, would you have a chance to update mathport for the new commands/tactics recently:

/- ./././Mathport/Syntax/Translate/Command.lean:719:14: unsupported user command assert_not_exists -/