MetaCoq CI

Remove unneeded problematic universe constraints #2793

Annotations

10 warnings

adj is declared opaque (Qed) but this is not fully respected inside

is_adjoint' is declared opaque (Qed) but this is not fully respected

adj is declared opaque (Qed) but this is not fully respected inside

is_adjoint' is declared opaque (Qed) but this is not fully respected

Could not enable unknown warning notation_overridden

Notation "_ { _ := _ }" was already used.

Notation "_ * _" was already used in scope type_scope.

Notation "_ <-> _" was already used in scope type_scope.

Notation "_ + _" was already used in scope type_scope.

Notation "_ * _" was already used in scope type_scope.