Announce verified algorithm for “all injective functions of a set” to Isabelle community

[clange]

Now that the injective function section of RelationProperties.thy is fully implemented, we should announce it to the Isabelle community, including the following information:

• link to the source
• link to the arXiv paper
• link to the generated Scala programs
• link to the overall ATT
• or we might wait for the overall AFP submission (Submit Partitions.thy, RelationProperties.thy and their dependencies to the AFP #36)