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: Dec 20 2023 at 11:08 UTC