Zulip Chat Archive
Stream: general
Topic: Documentation mistake in algebra.covariant_and_contravariant
Notification Bot (Sep 12 2021 at 22:21):
This topic was moved here from #mathlib4 > Documentation mistake in algebra.covariant_and_contravariant by Scott Morrison
Scott Morrison (Sep 12 2021 at 22:21):
Welcome, Itai! :-)
Last updated: May 02 2025 at 03:31 UTC