#include<bits/stdc++.h>
using namespace std;
using Int = long long;
//INSERT ABOVE HERE
signed main(){
  Int n,m,q;
  cin>>n>>m>>q;
  vector<Int> a(q);
  for(Int i=0;i<q;i++) cin>>a[i];
  reverse(a.begin(),a.end());
  vector<Int> u(m+1,-1);
  vector<Int> v;
  vector<Int> cnt(m+1,0);
  cnt[0]=n;
  
  for(Int i=0;i<q;i++){
    if(u[a[i]]<0){
      u[a[i]]=v.size();
      v.emplace_back(a[i]);
    }
    if(cnt[u[a[i]]]){
      cnt[u[a[i]]]--;
      cnt[u[a[i]]+1]++;
    }
  }
  
  for(Int i=1;i<=m;i++)
    if(u[i]<0) v.emplace_back(i);

  for(Int i=0;i<m;i++){
    if(!cnt[i]) continue;
    Int flg=1;
    for(Int j=i;j+1<m;j++)
      flg&=v[j]<v[j+1];
    if(!flg){
      cout<<"No"<<endl;
      return 0;
    }
    break;
  }
  
  cout<<"Yes"<<endl;
  return 0;
}
