set NiceMonomorphism
info on the GAP side (#4525)
#18548
Loading
NiceMonomorphism
info on the GAP side (#4525)
#18548