Theorem Part.inter_get_eq

Modification history