Theorem Part.mod_get_eq

Modification history