Category:Proven

States that a lemma/corollary/theorem has been proven.