Duplicate in Module.basic

Stream: general

[Antoine Labelle]

It seems like docs#Module.of_hom and docs#Module.as_hom are exact duplicates. Is there a reason both exist or should we get rid of one?

[Junyan Xu]

as_hom has a history of 2 years.of_hom was added more recently in #9454 and we should check files changed there to see if there're further duplicates.