Skip to content

Add helper tactic for functional relations (#50) #139

Add helper tactic for functional relations (#50)

Add helper tactic for functional relations (#50) #139

Annotations

1 warning

The logs for this run have expired and are no longer available.