Registering to the Library
We would like to explain the Mizar library registration process. Let us
assume that we wrote a Mizar article and it passed the checker. However,
we cannot register it to the Mizar library because it only passed the checker.
Before registering, we have a few other things to do.