Commit 2024-06-17 15:04 739a018e
View on Github →feat(Algebra/Lie/Normalizer): add normalizer_mono and use it to fix a porting note (#13890)
mono would not apply on monotone_normalizer, but does apply on normalizer_mono.
feat(Algebra/Lie/Normalizer): add normalizer_mono and use it to fix a porting note (#13890)
mono would not apply on monotone_normalizer, but does apply on normalizer_mono.