Theorem Tests.MapUniverses.through_functor.{uS₁,

Modification history

2026-09-15 15:38
MathlibTest/CategoryTheory/MapUniverses.lean
feat(Tactic/CategoryTheory): map attribute (#37183) …
Added Tests.MapUniverses.through_functor.{uS₁,View on Github →