Commit 2025-04-10 22:03 684599a9

View on Github →

feat: if F is fully faithful, then so is F.mapMon (#23874) Also make more arguments to isMon_Hom.one_hom/IsMon_Hom.mul_hom explicit, for rewriting. From Toric

Estimated changes