Theorem EckmannHilton.MulOneClass.isUnital

Modification history