Commit 2024-06-09 17:38 d5ada912
View on Github →chore(Algebra/Group/Hom/Instances): remove obsolete adaptation note (#13668) The underlying bug (#11357) has been fixed.
chore(Algebra/Group/Hom/Instances): remove obsolete adaptation note (#13668) The underlying bug (#11357) has been fixed.