Theorem AddEquiv.isRegular_congr

Modification history