Theorem Pi.mulSingle_eq_same

Modification history