activity
20122026
most citedInternalizing Representation Independence with Univalence

19 citations · 60 across the 11 of their papers we have counts for

collaborators
Showing 2016 · math.ATShow all

Nothing from them under that filter.

Their other years and fields are still on the left.