[concepts.equality] Replace spurious 'this document'#3984

Merged

zygoloid merged 2 commits intocplusplus:masterfrom

Sep 18, 2020

Commits on May 7, 2020

[concepts.equality] Replace spurious 'this document'
jensmaurer
committed

Commits on Sep 18, 2020

Lowercase the 'c' in "library clauses" to match definition of term.
zygoloid
authored