Theorem Monoid.PushoutI.NormalWord.ext_iff

Modification history