Def IdentityPreunctor

Modification history

2025-02-11 23:39
MathlibTest/Simps.lean
fix(Tactic/Simps/Basic): check more carefully against proof fields (#21578) …
Added IdentityPreunctorView on Github →