Commit 2025-08-31 08:35 b3e10293

View on Github →

feat: transfer Mon_Class along isomorphisms (#29098) From Toric

Estimated changes

added def Mon_Class.ofIso