Commit 2023-08-25 15:49 d49f95fe

View on Github →

chore(Algebra/Order/Group/Defs): 3 line breaks (#6785) Move 3 line breaks, so that they no longer separate inputs to Co*variantClasses.

Estimated changes

modified theorem bit0_mono