Vlad Tsyrklevich

Allow applications to revoke application access to the user's accounts

5

Currently, the OAuth API allows an application revoke a specific access token; however, the application continues to remain authorized for the user account. Insecure applications could potentially allow malicious individuals...

Style: Add Deprecation sub-section

5

Zulip thread here: https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Style.20guide.3A.20deprecation

From the text: ``` class Module₁ (R : Type) [Ring₃ R] (M : Type) [AddCommGroup₃ M] extends SMul₃ R M where ... ``` > There is something interesting going on...