mathlib3

03fbe7de - Update CODE_OF_CONDUCT.md (#13965)

Update CODE_OF_CONDUCT.md (#13965) deleted one character (duplicate space) Co-authored-by: Martin Dvořák <dvorakmartinbridge@seznam.cz>