Theorem MonoidAlgebra.freeAlgebra_lift_of_surjective_of_closure

Modification history