Theorem Relation.ReflTransGen.cases_head_iff

Modification history