Theorem UFModel.Agrees.get_eq'

Modification history