Def category_theory.monad_iso.to_nat_iso

Modification history